Assertion: rotation's point | /r/HasProperty | rotated by an angle φ
Facets:
value: about the z-axis
type: LOCATION
Source sentences:
text: A point at {θ 0 , φ 0 } rotated by an angle φ about the z-axis is specified simply by {θ 0 , φ 0 + φ}.