Assertion: logic's operator | /r/HasProperty | projection
Facets:
value: namely
type: DEGREE
Source sentences:
text: Historically, the first approach to an idea of QL is in Chapter 3 of von Neumann’s book on the mathematical formulation of QM  where he relates linear operators, namely the projections on state space H, with the representatives of “experimental propositions” affiliated with the system: