Vitalsource Technologies, Inc. Commonsense Reasoning: An Event Calculus Based Approach