Assertion: signature's key | /r/HasProperty | pk
Facets:
Source sentences:
text: outputs accepted or rejected on the inputs: the public key (pk), a string (x), and a tag (t).