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