Introduce a PredicateMap for predicates
Draft the threshold domain