Assertion: necessary condition | /r/HasProperty | introduced
Facets:
Source sentences:
text: In that form, you see explicitly that the necessary condition is introduced by then.