Assertion: identity | /r/HasProperty | characterised
Facets:
value: uniquely
type: MANNER
Source sentences:
text: However, in a second-order language, in which quantification over all properties (not just those for which the language contains predicates) is possible and Leibniz’s Law is therefore statable, identity can be uniquely characterised.