Assertion: signature | /r/HasProperty | identified with the first-orderlanguage l
Facets:
Source sentences:
text: In model theory, a signature σ is often called a vocabulary, or identified with the (first-order) language L to which it provides the non-logical symbols.