|
ENTITY quantifier_expression ABSTRACT SUPERTYPE SUBTYPE OF (multiple_arity_generic_expression); variables : LIST [1:?] OF UNIQUE generic_variable; WHERE WR1: SIZEOF (QUERY (vrbl <* variables | NOT (vrbl IN SELF\multiple_arity_generic_expression.operands))) = 0; WR2: SIZEOF (QUERY (vrbl <* variables | NOT ((schema_prefix + 'BOUND_VARIABLE_SEMANTICS') IN TYPEOF (vrbl.interpretation.semantics)))) = 0; END_ENTITY; -- quantifier_expression |
Entity data types and their attributesgeneric_expression- multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; quantifier_expression variables: LIST [1:?] OF UNIQUE generic_variable; |
| abstracted_expression_function (mathematical_functions_schema) |
| definite_integral_expression (mathematical_functions_schema) |
Global rules for this entity data type- |