Assertion: counterclockwise rotation | /r/HasProperty | given for example
Facets:
Source sentences:
text: For example, counterclockwise rotation about the positive z-axis by angle φ is given by