From e7439d65b0e153434d3acc07df6e2a0972ee79ca Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 11 Jan 2011 15:46:43 +0000 Subject: gf-book web page index and toc --- book/examples/chapter8/LogicBEng.gf | 38 ------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 book/examples/chapter8/LogicBEng.gf (limited to 'book/examples/chapter8/LogicBEng.gf') diff --git a/book/examples/chapter8/LogicBEng.gf b/book/examples/chapter8/LogicBEng.gf deleted file mode 100644 index b950c6b39..000000000 --- a/book/examples/chapter8/LogicBEng.gf +++ /dev/null @@ -1,38 +0,0 @@ -concrete LogicEng of Logic = open - SyntaxEng, (P = ParadigmsEng), SymbolicEng, Prelude in { -lincat - Stm = Text ; - Prop = S ; - Atom = Cl ; - Ind = NP ; - Dom = CN ; - Var = NP ; - [Prop] = [S] ; - [Var] = NP ; -lin - SProp = mkText ; - And = mkS and_Conj ; -- A, B ... and C - Or = mkS or_Conj ; -- A, B ... or C - If A B = -- if A B - mkS (mkAdv if_Subj A) B ; - Not A = -- it is not the case that A - mkS negativePol (mkCl - (mkVP (mkNP the_Quant - (mkCN case_CN A)))) ; - All xs A B = -- for all A's xs, B - mkS (mkAdv for_Prep - (mkNP all_Predet (mkNP a_Quant - plNum (mkCN A xs)))) B ; - Exist xs A B = -- for some A's xs, B - mkS (mkAdv for_Prep - (mkNP somePl_Det (mkCN A xs))) B ; - PAtom = mkS ; - IVar x = x ; - VString s = symb s ; - BaseProp A B = mkListS A B ; - ConsProp A As = mkListS A As ; - BaseVar x = x ; - ConsVar x xs = mkNP and_Conj (mkListNP x xs) ; -oper - case_CN : CN = mkCN (P.mkN "case") ; -} -- cgit v1.2.3