DOL — Need to clarify the role of logical symbols in the ontology

The natural language definition of Term "syntactic expression either consisting of a single non-logical symbol or recursively composed of other terms (a.k.a. its subterms)" is a little unclear, as it leaves some question as to the role of logical symbols. The intent is made more clear by the existence of the subclass Sentence, which presumably includes sentences with logical connectives, but as a stand-alone definition it is vague. Perhaps an explanatory note could be added, because in some standards the "term" class does not include sentences.

definition of Term is clarified

We have clarified that logical symbols can be part of terms. Hopefully, this makes it more transparent.
There is an axiom that states that Sentence is as subclass of Term. We are not sure what the note should say in addition to that.