martinlaz / gralej Goto Github PK

1. Open sample, then [peter,likes,mary]
2. Ctrl+F, type "peter", enter
3. The selection rect appears in the upper left corner of the window, with
nothing in it
4. Press enter -- same effect
5. Press enter again -- No more matches we found

short description:

What steps will reproduce the problem?
1. use grammar and CLLRS sem/ directory in attached files
2. srec([anybody])  shows intended output in ASCII
3. rec([anybody]) fails with GraleJ saying
Exception: java.lang.ArrayIndexOutOfBoundsException: 2


-----------------------------------------------------------------

more elaborate description:

GraleJ currently only supports Gerald and Michael's preliminary
implementation hack for positive contribution constraints. It fails
on the parallel negative contribution constraints. The difference
is minimal:

1) positive contribution (on basis of artificial lex entry 'alks'
(sic!), just to illustrate the point):

srec([alks]) output:

^lambda(b,A:[exists(a,B:[{walk(b,a,C)}])])/([*])

This is displayed nicely in GraleJ. Lists of [*] are also handled
nicely by GraleJ, as I saw in other examples that I tried for
Michael.

What GraleJ can't deal with is the counterpart,

2) negative contribution constraints, again illustrated with a
lexical entry:

srec([anybody]) output:

neg(A:[^exists(a,B:[{person(b,a)}],C:[a])])/~([*])

GraleJ fails to disply this, saying:
Exception: java.lang.ArrayIndexOutOfBoundsException: 2

Could be that you didn't extend the preliminary star syntax to
this negative case.

Find the attached simple grammar which reproduces bugs.
-
BUG1: In the grammar, I use the underscore char in a_/1 atoms
but in the output latex file these underscores are not escaped
and latex file does not compiles.
-
BUG2: When the list is displayed as [head_element|tail_list]
in gralej's interactive mode
the tail list is skipped in the latex output.  
-
gralej version 0.8.1
OS Ubuntu 10.04 LTS - the Lucid Lynx
-
Lasha Abzianidze.

1. Open the [peter,likes,mary] sample
2. Expand the phrase:[likes,mary] and then the [18] tag
3. The [8] and [9] tags are not clickable and cannot be expanded
4. Similar problem at the root node