precededByUpgrade
P178301
predicate
Indicates that one event, state, or version occurs only after a prior upgrade has taken place.