Assertion: determinant | /r/HasProperty | same order
Facets:
Source sentences:
text: The two determinants to be multiplied must be of the same order.