Assertion: proper rotation | /r/HasProperty | followed by inversion
Facets:
Source sentences:
text: That is, any improper orthogonal 3x3 matrix may be decomposed as a proper rotation (from which an axis of rotation can be found as described above) followed by an inversion (multiplication by -1).