Assertion: right triangle's area | /r/HasProperty | halved
Facets:
Source sentences:
text: And the area will be halved as the triangle will have a third line which goes from the end of line a to the end of line