Fabula.newEvent, abstract, putIn are implemented
add inductive.fabula, utils.predicate