Assertion: column's row | /r/CapableOf | imply rank a
Facets:
Source sentences:
text: [ A/ b] = rank [ A′/ b′]. (Since the bottom row of A′ consisted entirely of zeros, rank A′ = 3, implying rank A = 3 also.)