Diagramatic Predicate Framework