Have you already seen/evaluated event calculus ?
And what about BEC (basic event calculus), powered by s(CASP) ?
Made available some time ago, pack Julian had would helped to build the linguistic model (here are the docs, just in case you want to keep reading…), but installing the pack triggers an error on post installation scripts - maybe not a fatal one.
In the end, since you got the attention of @ridgeworks, I suggest to keep on him.