Assertion: matrix | /r/HasProperty | logic
Facets:
Source sentences:
text: Matrix (logic), the quantifier-free part of a formula in prenex normal form