Assertion: 4 | /r/HasProperty | -- y
Facets:
Source sentences:
text: When x = 4, for example -- y2 = 4 -- then y = 2 or −2.