Consistent detection of global predicates | lit.salon