Section 29.3.2.3 have ambiguous semantics. For ex, in the location language, does "not host1 or host2" mean "not at host1 and not at host2" or "not at host1, or at host2"?
Reprepare 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?
Reprepare 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?