Event_calculus loading ...