Assertion: sorted signature | /r/DefinedAs | triple σ
Facets:
value: formally
type: MANNER
Source sentences:
text: Formally, a (single-sorted) signature can be defined as a triple σ =