Assertion: matrix | /r/HasProperty | = a+3*(b+c
Facets:
Source sentences:
text: Matrix a,b,c,r; r = a+3*(b+c);