successorInConsoleLine
P196746
predicate
Indicates that one console in a sequence directly follows another in the ordered line of consoles.