H(start,0)
--->E(performed(a1),Ta1).

H(performed(a1),Ta1)
--->EN(performed(a1),Ta1)/\Ta1<Ta1.

