Added Utilities. Added generation of partitioning axioms. Fixed Priorities