G [U waitingDV ackSM] :- [reqDV].
G [X F ackSM] :- [reqDV]. 
G [U workingDV eopDV] :- [ackSM].
G [U Not workingDV ackSM] :- [ackSM].
G [F ctrSM].
G [F connSM] :- [ctrSM].
G [X F connDV] :- [connSM].
G [comDV] :- [F connDV].