Assertion: logic's property | /r/HasProperty | type
Facets:
Source sentences:
text: Then, roughly, the states accessible from a given state \(s\) and agent \(a\) will be those whose properties (types) do not contradict the local logic of \(a\) in \(s\).