Need to update CLIF BNF grammar #36
Description
There still exist functionality of the common logic interchange format that isn't valid against the current BNF. cl-domain is an example.
{{ message }}
There still exist functionality of the common logic interchange format that isn't valid against the current BNF. cl-domain is an example.