Assertion: determinant's number | /r/HasProperty | sum
Facets:
Source sentences:
text: The numbers in row i of this new determinant are sums, so we can split the determinant into the sum of two determinants.