Assertion: tan | /r/HasProperty | pi/4
Facets:
Source sentences:
text: The triangle OAT is isosceles, #tan (pi/4) =