The term situation calculus is used for a variety of formalisms treating situations as objects, considering fluents that take values in situations, and events (including actions) that generate new situations from old.
At present I do not know how to write a situation calculus formalization that tolerates all (or even most) of the elaborations of section 7. Nevertheless, I think it is useful to give some formulas that accomplish some elaborations and discuss some issues of elaboration tolerance that these formulas present.