mpi-sws-rse / sempre-interactive-flipper Goto Github PK

After the introduction of "definition rephrasing", now we are only inducing the best scoring definition. This results in an unexpected behavior if the user expects the original definition to generalize correctly.

Add both the definitions: the original one and the best scoring one

If visit all red is defined as foreach point in world containing item has color red visit point (no curly braces around visit point, which is ok regarding to the grammar), then the GrammarInducer induces (amond other things) $Point -> all red.

This is a problem because $Point doesn't have a meaning outside a for loop.

Currently, items are referred by their color by e.g. .. has color red and by their shape by ... has shape triangle.
That difference is artificial. A preferred solution would be ... is red and ... is triangle

With the -Parser.aggressivePartialParsingoption flag, when doing the following:

Try "for each point in world containing item is red {visit point; pick every item is red" (note the space in "for each"). This is parsed as "foreach point in world containing item is red {visit point; pick every item is red" by the extended parsing. Accept the parse

Define "gather red" as "for each point in world containing item is red {visit point; pick every item is red"

Then the grammar inducer does not induce "gather $Color" and "gather $Property".

If defining "gather red" as "foreach point in world containing item is red {visit point; pick every item is red" (without the space in "foreach"), then "gather $Color" and "gather $Property" are induced.

When commanded pick every item on the field that contains two same items (e.g. two red circles), it will pick only one of them.
Probably introduced by commit 2c86080