Assertion: atp | /r/HasProperty | symbolized as ar-p
Facets:
Source sentences:
text: Thus, ATP may be symbolized as AR-P~P~P.