Assertion: sorted signature | /r/CapableOf | encode information
Facets:
value: about the sorts
type: OTHER
value: for many-sorted logic
type: PURPOSE
Source sentences:
text: For many-sorted logic and for many-sorted structures signatures must encode information about the sorts.