Characteristic predicate Assertions::Assertion::Assertion

Assertion()