We propose characterizing the actual trip as a rich entity and the plan as a poor entity. Originally, I thought that rich events referred to the past and poor ones to the future, but this seems to be wrong. It's only that when one refers to the past one is usually referring to a rich entity, while the future entities one refers to are more often poor. However, there is no intrinsic association of this kind. However, the actual programs that have been written to reason in situation calculus might as well regard them as taken from a finite or countable set of discrete states.
Possible worlds are also examples of rich entities as ordinarily used in philosophy.
One never prescribes a possible world but only describes classes of possible worlds. Rich entities are open ended in that we can always introduce more properties of them into our discussion. Poor entities can often be enumerated, e.g. we can often enumerate all the events that we consider reasonably likely in a situation. The passage from considering rich entities in a given discussion to considering poor entities is a step of nonmonotonic reasoning. It seems to me that it is important to get a good formalization of the relations between corresponding rich and poor entities.