Assertion: rotation | /r/HasProperty | about z
Facets:
Source sentences:
text: Rotation about z axis is: Rz = cos(a)