Assertion: default | /r/MadeOf | formula
Facets:
value: with free variables
type: OTHER
Source sentences:
text: If a default contains formulae with free variables, it is considered to represent the set of all defaults obtained by giving a value to all these variables.