BUG: Incorrect usage of CLIF titlings

[mereolog]

Describe the bug IMHO, all CLIF files are syntactically incorrect as far as the use of CLIF titlings is concerned.

To Reproduce According to the spec, i.e., section A.2.3.10 Titling, a CLIF titling should contain exactly one instance of a CLIF text - see the snippet below. On the other hand, a CLIF text, provided that it is not a domainrestriction or an importation or a commenttext must contain the 'cl:text' reserved element.

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

https://github.com/BFO-ontology/BFO-2020/blob/25c834ed1c33997b756d5f62fc763e09f9826c0c/src/common-logic/continuant-mereology.cl#L9-L15

Since this CLIF outdiscourse element is not a CLIF text and since it is followed by a commentsent, this does not follow the ISO spec.

Expected behavior As far as I can tell, the fragment above should read as follows:

(cl:ttl https://basic-formal-ontology.org/2020/formulas/clif/continuant-mereology.cl

(cl:text

   (cl:outdiscourse occupies-spatial-region temporal-part-of exists-at has-proper-continuant-part proper-continuant-part-of instance-of has-continuant-part continuant-part-of)

  (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))))


...

)

Additional context Snippets from the ISO spec

A.2.3.10 Titling

CLIF titling gives a text a name.

titling = open, 'cl:ttl', interpretablename , text , close ;

A.2.3.15 Text

CLIF text is a text construction, importation, or domain restriction.

text = textconstruction | domainrestriction | importation | commenttext ;