From 76ba03b545600054176612201de78dca16eb65e1 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 22 Nov 2010 12:55:37 +0000 Subject: started a subdir for the book --- book/examples/chapter6/Verbs.gf | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 book/examples/chapter6/Verbs.gf (limited to 'book/examples/chapter6/Verbs.gf') diff --git a/book/examples/chapter6/Verbs.gf b/book/examples/chapter6/Verbs.gf new file mode 100644 index 000000000..371450aeb --- /dev/null +++ b/book/examples/chapter6/Verbs.gf @@ -0,0 +1,22 @@ +abstract Verbs = { + +cat + S ; NP ; Subcat ; V Subcat ; Args Subcat ; + +fun + cIntr : Subcat ; + cTr : Subcat ; + cS : Subcat ; + + aIntr : NP -> Args cIntr ; + aTr : NP -> NP -> Args cTr ; + aS : NP -> S -> Args cS ; + + pred : (s : Subcat) -> V s -> Args s -> S ; + + john, mary : NP ; + walk : V cIntr ; + love : V cTr ; + know : V cS ; + +} \ No newline at end of file -- cgit v1.2.3