Represents an assertion with its applicability predicate.
Used to determine whether a given assertion would pass for a particular runtime value.
Predicate that returns true if the assertion would pass for the given value.
true
The assertion object.
Phrase literals that can trigger this assertion.
Represents an assertion with its applicability predicate.
Used to determine whether a given assertion would pass for a particular runtime value.