Assertion: logic's theorem | /r/HasProperty | derived
Facets:
Source sentences:
text: What we found via the analysis of possible families of valuations is that a theorem which we called, for obvious reasons, the Modal KS (MKS) theorem can be derived which proves that quantum possibility, contrary to classical possibility, is also contextually constrained .