Meaning and Form in Event Calculus