use new predicate handler in rules (incomplete)