Assertion: constant symbol | /r/HasProperty | interpreted by an element of d
Facets:
Source sentences:
text: A structure over a signature consists of a set D, known as the domain of discourse, together with interpretations of the non-logical symbols: Every constant symbol is interpreted by an element of D, and the interpretation of an n-ary function symbol is an n-ary function on D, i.e. a function