ProXT 3.5 Exported Predicates