one more type of axiom can be parsed in DLLitePlugin