Assertion: atom's property | /r/HasProperty | local* iff
Facets:
value: for any \(x\
type: OTHER
value: necessarily
type: DEGREE
Source sentences:
text: The property of being \(F\) is local* iff, necessarily, for any \(x\), the state of affairs of \(x\) being \(F\)
text: The property of being \(F\) is local** iff, necessarily, for any \(x\), the state of affairs of \(x\) being \(F\)