@uml The default {@link SemanticContext}, which is semantically equivalent to a predicate of the form {@code {true}?}.
See Implementation
@uml The default {@link SemanticContext}, which is semantically equivalent to a predicate of the form {@code {true}?}.