For instance, a query of the sort “a user must login before placing an order” can be expressed by a can be expressed as follows: • E(F(Reserve) ∧ ¬F(Credit))..