summaryrefslogtreecommitdiff
path: root/src/server/grammar.pgf
diff options
context:
space:
mode:
Diffstat (limited to 'src/server/grammar.pgf')
-rw-r--r--src/server/grammar.pgf1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/grammar.pgf b/src/server/grammar.pgf
new file mode 100644
index 000000000..5231c3366
--- /dev/null
+++ b/src/server/grammar.pgf
@@ -0,0 +1 @@
+(pgf 1 0 Food FoodEng FoodIta) (flags (coding "latin1") (startcat "Phrase")) (abstract (fun (Boring (Quality H X) Eq) (Cheese (Kind H X) Eq) (Delicious (Quality H X) Eq) (Expensive (Quality H X) Eq) (Fish (Kind H X) Eq) (Fresh (Quality H X) Eq) (Is (Phrase (H (_ (Item H X)) (_ (Quality H X))) X) Eq) (Italian (Quality H X) Eq) (QKind (Kind (H (_ (Quality H X)) (_ (Kind H X))) X) Eq) (That (Item (H (_ (Kind H X))) X) Eq) (This (Item (H (_ (Kind H X))) X) Eq) (Very (Quality (H (_ (Quality H X))) X) Eq) (Warm (Quality H X) Eq) (Wine (Kind H X) Eq)) (cat Float Int Item Kind Phrase Quality String)) (concrete (FoodEng (flags (coding "latin1")) (lin (Boring (R "boring")) (Cheese (R "cheese")) (Delicious (R "delicious")) (Expensive (R "expensive")) (Fish (R "fish")) (Fresh (R "fresh")) (Is (R (S _6 "is" _7))) (Italian (R "Italian")) (QKind (R (S _6 _7))) (That (R (S "that" _6))) (This (R (S "this" _6))) (Very (R (S "very" _6))) (Warm (R "warm")) (Wine (R "wine"))) (oper (_21 (R (A 0))) (_6 (P (A 0) 0)) (_7 (P (A 1) 0))) (lincat (Float (R S)) (Int (R S)) (Item (R S)) (Kind (R S)) (Phrase (R S)) (Quality (R S)) (String (R S))) (lindef (Item _21) (Kind _21) (Phrase _21) (Quality _21)) (printname (Boring "boring") (Cheese "cheese") (Delicious "delicious") (Expensive "expensive") (Fish "fish") (Fresh "fresh") (Is "Item_0++isQuality_1") (Italian "Italian") (Item "Item") (Kind "Kind") (Phrase "Phrase") (QKind "Quality_0Kind_1") (Quality "Quality") (That "thatKind_0") (This "thisKind_0") (Very "veryQuality_0") (Warm "warm") (Wine "wine")) (param (Float (R (P "s" S))) (Int (R (P "s" S))) (Item (R (P "s" S))) (Kind (R (P "s" S))) (Phrase (R (P "s" S))) (Quality (R (P "s" S))) (String (R (P "s" S)))) (parser (rules (rule Wine (cats 2) (R (S "wine"))) (rule Warm (cats 1) (R (S "warm"))) (rule (Very (_A 0)) (cats 1 1) (R (S "very" (P 0 0)))) (rule (This (_A 0)) (cats 4 2) (R (S "this" (P 0 0)))) (rule (That (_A 0)) (cats 4 2) (R (S "that" (P 0 0)))) (rule (QKind (_A 0) (_A 1)) (cats 2 1 2) (R (S (P 0 0) (P 1 0)))) (rule Italian (cats 1) (R (S "Italian"))) (rule (Is (_A 0) (_A 1)) (cats 3 4 1) (R (S (P 0 0) "is" (P 1 0)))) (rule Fresh (cats 1) (R (S "fresh"))) (rule Fish (cats 2) (R (S "fish"))) (rule Expensive (cats 1) (R (S "expensive"))) (rule Delicious (cats 1) (R (S "delicious"))) (rule Cheese (cats 2) (R (S "cheese"))) (rule Boring (cats 1) (R (S "boring")))) (startupcats (Float (neg 3)) (Int (neg 2)) (Item 4) (Kind 2) (Phrase 3) (Quality 1) (String (neg 1)) (_Var (neg 4))))) (FoodIta (flags (coding "latin1")) (lin (Boring (R "noioso")) (Cheese (R "formaggio")) (Delicious (R "delizioso")) (Expensive (R "caro")) (Fish (R "pesce")) (Fresh (R "fresco")) (Is (R (S _6 "è" _7))) (Italian (R "italiano")) (QKind (R (S _7 _6))) (That (R (S "quello" _6))) (This (R (S "questo" _6))) (Very (R (S "molto" _6))) (Warm (R "caldo")) (Wine (R "vino"))) (oper (_21 (R (A 0))) (_6 (P (A 0) 0)) (_7 (P (A 1) 0))) (lincat (Float (R S)) (Int (R S)) (Item (R S)) (Kind (R S)) (Phrase (R S)) (Quality (R S)) (String (R S))) (lindef (Item _21) (Kind _21) (Phrase _21) (Quality _21)) (printname (Boring "noioso") (Cheese "formaggio") (Delicious "delizioso") (Expensive "caro") (Fish "pesce") (Fresh "fresco") (Is "Item_0++èQuality_1") (Italian "italiano") (Item "Item") (Kind "Kind") (Phrase "Phrase") (QKind "Kind_1Quality_0") (Quality "Quality") (That "quelloKind_0") (This "questoKind_0") (Very "moltoQuality_0") (Warm "caldo") (Wine "vino")) (param (Float (R (P "s" S))) (Int (R (P "s" S))) (Item (R (P "s" S))) (Kind (R (P "s" S))) (Phrase (R (P "s" S))) (Quality (R (P "s" S))) (String (R (P "s" S)))) (parser (rules (rule Wine (cats 2) (R (S "vino"))) (rule Warm (cats 1) (R (S "caldo"))) (rule (Very (_A 0)) (cats 1 1) (R (S "molto" (P 0 0)))) (rule (This (_A 0)) (cats 4 2) (R (S "questo" (P 0 0)))) (rule (That (_A 0)) (cats 4 2) (R (S "quello" (P 0 0)))) (rule (QKind (_A 0) (_A 1)) (cats 2 1 2) (R (S (P 1 0) (P 0 0)))) (rule Italian (cats 1) (R (S "italiano"))) (rule (Is (_A 0) (_A 1)) (cats 3 4 1) (R (S (P 0 0) "è" (P 1 0)))) (rule Fresh (cats 1) (R (S "fresco"))) (rule Fish (cats 2) (R (S "pesce"))) (rule Expensive (cats 1) (R (S "caro"))) (rule Delicious (cats 1) (R (S "delizioso"))) (rule Cheese (cats 2) (R (S "formaggio"))) (rule Boring (cats 1) (R (S "noioso")))) (startupcats (Float (neg 3)) (Int (neg 2)) (Item 4) (Kind 2) (Phrase 3) (Quality 1) (String (neg 1)) (_Var (neg 4)))))) \ No newline at end of file