Assertion: substitution | /r/CapableOf | map all variables of its domain
Facets:
value: to ground
type: TRANSITIVE-OBJECT
Source sentences:
text: A substitution is called a ground substitution if it maps all variables of its domain to ground, i.e. variable-free, terms.