(a) Express the following in either LTL or CTL: Whenever q occurs after p, r is true at every point during that interval (between the p and q).

(b) There is slight ambiguity in the statement since it doesnt state whether during includes the two endpoints. State how you interpreted it in your wff, and briefly explain (you will need to look at the model theoretic semantics).

(c) Modify your wff to include both endpoints (or neither if it already included both).