s(1,g).
da(1,acknowledge).
da(acknowledge,ready,1).
u(1,['Right'
]).