Assertion: rectangle's point | /r/HasProperty | connected in order
Facets:
Source sentences:
text: Prove that the following four points will form a rectangle when connected in order.