Assertion: rotation | /r/HasProperty | conjugation
Facets:
Source sentences:
text: If p and q are unit quaternions, then rotation (conjugation) by pq is