Da ist der Parser irgendwo zu restriktiv. Zum Beispiel wird
[(1, 2, {A,nicht B} = 5), (4, 5, { })]
akzeptiert, aber
[(1, 2, {A, nicht B} = 5), (4, 5, { })]
mit folgender Syntaxfehlermeldung zurückgewiesen:
[(1, 2, {A, nicht B} = 5), (4, 5, { })]
...........^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
falsches Zeichen: " "
möglich ist hier: atomic Proposition oder Negation
term structure does not allow nesting at this point
------------------------------------------------------------------------
Da ist der Parser irgendwo zu restriktiv. Zum Beispiel wird
akzeptiert, aber
mit folgender Syntaxfehlermeldung zurückgewiesen: