I’ve created a Pluscal like extension that makes it easier to work with the predicate-as-event model. I think this model also requires you to write a lot of boilerplate and the pluscal syntax seems to simplify this considerably for a certain class of problems.
How do you think the syntax for this event-reification should look like?