Queries - new quantified predicates notation