some experiments on using LL to model the event calculus at various levels