Composing better predicates with PDSL

Composing better predicates with PDSL