Assertion: logic's operator | /r/HasProperty | sensitive
Facets:
Source sentences:
text: The reason is that the latter two operators are sensitive to structure on the domains of worlds and times—the “accessibility relation” in the former case, the relation of temporal ordering in the latter—and this structure is not preserved by all permutations of these domains.