Synthesis of PE - Ontify