Assertion: rectangle's height | /r/HasProperty | times
Facets:
Source sentences:
text: (half-height of the trapezoid) times its base (sum of the bases of the trapezoid), so its area is half-height x (base1 + base2).