search

rupenp / grammatical-framework

Automatically exported from code.google.com/p/grammatical-framework
0 stars 0 forks source link

The parser should check that the potential variable names are really variables in the sense of the GF language #40

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. Load the SUMO grammar:
2. Try to parse

          for every animal ?A 
          there exists an animal ?B
          such that ?A is smaller than ?B

What is the expected output? What do you see instead?

The axiom is parsed but the produced abstract syntax expression is not 
syntactically correct because ?A is not a variable name in the sense of GF.

Original issue reported on code.google.com by kr.ange...@gmail.com on 31 Aug 2010 at 1:33