Baseline for complex predicates, including exists