ap.parser
The distinguished name used for function axioms.
The distinguished name used for unnamed formula parts.