Assertion: tan | /r/HasProperty | tan pi)/4#
Facets:
Source sentences:
text: #tan ((3pi)/4) = - tan (pi)/4#