Assertion: isometry's point | /r/HasProperty | so that the midpoint of ad
Facets:
Source sentences:
text: D is the point so that the midpoint of AD = the midpoint of BC.