Assertion: matrix's number | /r/HasProperty | different
Facets:
Source sentences:
text: According to what I said above, since the inside numbers (1 and 3) are different, then we can't multiply the matrices.
text: (Some books require that the number of rows and number of columns be different.)