Give an English and pictorial description of the interval that corresponds to each of the following Interval Temporal Logic formulae. a) PA (fin P) A skip (6 marks) (7 marks) b) skip AA 2 A (A gets -A) (7 marks) c) (skip A fin(A = 0)); (B = 1 A skip) d) (PA empty); skip; skip (8 marks) (8 marks) e) A 1 A (A gets A + 2) ^ halt (A = 7) (9 marks) f) len(4)^(Q; (skip OQ) *)