Assertion: width | /r/HasProperty | half the height of a0
Facets:
Source sentences:
text: In other words, the height of A1 is the width of A0 and the width of A1 is half the height of A0.