PM-STA-0030

Before evaluating a transition, an implementation MUST calculate the State of the transitioning object and the State of the related object named by the Filter's predicate.

Non-normative: claim 1 orders these explicitly — first state, then second state, then "calculate a valid state transition in accordance with the predicate relationship between the second state and the first state". Both states are inputs to the transition decision, which is what makes a Filter a proposition over two objects rather than a guard on one.