BUG: Incorrect CLIF commented sentences

[mereolog]

Describe the bug
IMHO, most if not all, CLIF files are syntactically incorrect as far as the use of CLIF commented sentences (commentsent) is concerned.

To Reproduce
According to the spec all CLIF comment elements, e.g., CLIF commentsent, require that the 'cl:comment' is followed by a quotedstring. And all quotedstrings are delimited by single quotes (stringquote), i.e., by '.
(I refer to ISO/IEC 24707:2018(E)).

Consider now https://github.com/BFO-ontology/BFO-2020/blob/master/src/common-logic/continuant-mereology.cl, in particular:

BFO-2020/src/common-logic/continuant-mereology.cl

Lines 13 to 15 in 25c834e

	(cl:comment "continuant-part-of and has-continuant-part are inverse relations [eld-1]"
	(forall (t a b)
	(iff (continuant-part-of a b t) (has-continuant-part b a t))))

Since this CLIF element uses double quotes (namequote), it does not follow the ISO spec.
I guess that similar remarks can be made about all other commented sentences throughout other files.

Expected behaviour
All double quotes in commented sentences need to be replaced by single quotes (stringquote), using innerstringquote when needed.

[alanruttenberg]

Thank you for the report. The source code has been fixed and the corrected version will appear in the next release.