Assertion: logic's operator | /r/CapableOf | become interdefinable
Facets:
Source sentences:
text: The two operators become interdefinable if one also introduces the concept “it is historically necessary that”.