- A formula is a new literal consisting of:
- A set of RDF statements ("model")
- A set of universally quantified variables
- A set of existentially quantified variables
- A formula can be a term in a statement
- A formula is quoted:
- substitution of variables penetrates
- substitution of = does not
[old form of @forAll
is "this log:forAll
"]