Assertion: logic's operator | /r/HasProperty | derived by tarski
Facets:
value: in 1921
type: TEMPORAL
Source sentences:
text: It's also possible to derive a few other useful unary operators (first derived by Tarski in 1921):