Assertion: ω consistency | /r/CapableOf | imply its consistency
Facets:
Source sentences:
text: The ω-consistency of a system implies its consistency, but consistency does not imply ω-consistency.