Extended axiom converter.