Assertion: rectangle's area | /r/HasProperty | a * b - squiggly
Facets:
Source sentences:
text: The area of the second triangle is 1/2 a * (b - squiggly), where (b - squiggly) is the remaining part of the longer diagonal.