The Event Calculus assessed

The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the features and fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no adjustments of the language or reasoning method were necessary. The result implies that the claims on the expressiveness and problem-solving power of this logic were indeed correct.