Assertion: substitution | /r/Synonym | a ground substitution
Facets:
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.