successorStateSide2

P123211
predicate

Indicates that one state directly follows another as its immediate successor in the second dimension, perspective, or side of a state-transition relation.

Sample triples (2)