Assertion: ellipse's axis | /r/HasProperty | aligned with the y axes
Facets:
Source sentences:
text: Proof: Assume the ellipse to be in a position where its major axis is aligned with the x axis and minor axis aligned with the y axes.