I added predicates for the definition of Actions Available.