an extension point to allow alternate names and internationalization of universal quantifiers
Explicit universal quantifier. It consists of a sequence of one or more
variables (<Var>), each optionally surrounded by a <declare> role, and a
logical formula (optionally surrounded by a <formula> role).
See http://deliberation.ruleml.org/1.02/glossary/#gloss-Forall
Universally qualified formulas contain a sequence of bound variables and one formula.
an extension point to allow alternate names and internationalization for existential quantifiers
Explicit existential quantifier. It consists of one or more variables (<Var>),
each optionally surrounded by a <declare> role, followed by a logical formula
(optionally surrounded by a <formula> role).
See http://deliberation.ruleml.org/1.02/glossary/#gloss-Exists
Existentially qualified formulas contain a sequence of bound variables and one formula.
an extension point for stripe skipping as well as specializations of the declare tag name in quantified formulas.
A role used for variables (<Var>) declared within a quantifier (<Forall> or <Exists>).
See http://deliberation.ruleml.org/1.02/glossary/#gloss-declare
a declaration element contains a single quantifiable term
an extension point for stripe skipping as well as specializations of the formula tag name in universal quantifications.
The formula role of a conjunctive (<And>) or disjunctive (<Or>) expression,
quantifier (<Forall> or <Exists>), or performative (<Assert>, <Query> or <Retract>).
See http://deliberation.ruleml.org/1.02/glossary/#gloss-formula
within Forall...
The formula role of universal quantifications contains a single formula.
an extension point for stripe skipping as well as specializations of the formula tag name in existential quantifications.
The formula role of a conjunctive (<And>) or disjunctive (<Or>) expression,
quantifier (<Forall> or <Exists>), or performative (<Assert>, <Query> or <Retract>).
See http://deliberation.ruleml.org/1.02/glossary/#gloss-formula
Within Exists...
The formula role of existential quantifications contains a single formula.