Commitment Tracking via the Reactive Event Calculus