SparQ icon indicating copy to clipboard operation
SparQ copied to clipboard
verified publisher icon dwolter

problems with symbol parsing

Open dwolter opened this issue 11 years ago • 0 comments

There's an issue with symbols 'composition and 'converse:

./sparq a-reasoning pc analyze-operation composition

An error occured: No matching command found or erroneous input. Suggestions: a-reasoning <CALCULUS> analyze-operation (1)<composition | converse | shortcut | homing | inverse | n-ary-composition> (1): COMPOSITION is no (MEMBER #:COMPOSITION #:CONVERSE SHORTCUT HOMING INVERSE N-ARY-COMPOSITION)

dwolter avatar Sep 25 '14 09:09 dwolter