then we compute the next action layer, which consists of all the actions that have their preconditions satisfied in the preceeding proposition layer or layer of fluent f. so that gives us the next action