{Commitment Tracking via the Reactive Event Calculus}