Assertion: rigid designation | /r/CapableOf | flank an identity sign
Facets:
value: in a true theoretical identity statement
type: MANNER
Source sentences:
text: The rigid designation of both designators flanking an identity sign in a true theoretical identity statement is sufficient to establish the necessity of the statement.