Assertion: circle | /r/HasProperty | a ≠ 0; d ≠ 0
Facets:
Source sentences:
text: We see that the lines through the origin (A = D = 0) are mapped to the lines through the origin, the lines not passing through the origin (A = 0; D ≠ 0) to circles passing through the origin, circles passing through the origin (A ≠ 0; D = 0) to the lines not passing through the origin, and circles not passing through the origin (A ≠ 0; D ≠ 0) to circles not passing through the origin.