The goal of this RFC is to define the concepts needed to the implementation of a generic and extensible Predicate system. This predicate system is meant to be used extensively by Metacosm's interaction engine, in particular for dynamic Actions.
We present a possible solution from an implementation point of view.