sentence1: however , there exist efficient detection algorithms for several classes of practical predicates such as unstable predicates .
sentence2: however , for some classes of predicates such as linear predicates , semilinear predicates , and bounded sum predicates , there exist efficient detection algorithms .