Assertion: matrix's element | /r/HasProperty | zero
Facets:
Source sentences:
text: We only need that the elements that are below that 1 are zeros.
text: Now we have to make that the elements below 1 in the first column are zeros.