Actions and other events in situation calculus