Assertion: logic's property | /r/HasProperty | two global states
Facets:
Source sentences:
text: In general, if a property is completely determined by subset of components \(\mathbf{x}\) then, in what concerns that property, any two global states that agree on \(\mathbf{x}\) should be indistinguishable.