Assertion: formal consequence | /r/HasProperty | two kinds
Facets:
Source sentences:
text: Formal consequences are of two kinds.