Characteristic predicate Assertion::Assertion

Assertion()