Support named predicate symbols, cool