Section 29.3.2.3 have ambiguous semantics. For example, in the location language, does "not host1 or host2" mean "not at host1 and not at host2" or "not at host1, or at host2"?
Rewrite the BNF of the location language to make the semantics reflect the second meaning (that is, the precedence of "not" is higher than that of "or"). Are the semantics unambiguous now? Why or why not?
Rewrite the BNF of the time language to make the semantics reflect the second meaning (that is, the precedence of "not" is higher than that of "or"). Are the semantics unambiguous now? Why or why not?