I have added the action/2, action2ag/2 and rho/2 predicates.