summaryrefslogtreecommitdiff
path: root/examples/grammar-terms/GrammarTermsEng.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/grammar-terms/GrammarTermsEng.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
Remove contribs and examples
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/grammar-terms/GrammarTermsEng.gf')
-rw-r--r--examples/grammar-terms/GrammarTermsEng.gf143
1 files changed, 0 insertions, 143 deletions
diff --git a/examples/grammar-terms/GrammarTermsEng.gf b/examples/grammar-terms/GrammarTermsEng.gf
deleted file mode 100644
index 301020549..000000000
--- a/examples/grammar-terms/GrammarTermsEng.gf
+++ /dev/null
@@ -1,143 +0,0 @@
---# -path=.:present
-
-concrete GrammarTermsEng of GrammarTerms =
- open SyntaxEng, (S = SyntaxEng), ParadigmsEng, (P = ParadigmsEng) in {
-
-lincat
- Rule = Utt ;
- Cat = CN ;
- ParamType = CN ;
- ParamValue = NP ;
- Language = {name : CN ; adj : AP} ;
- [Cat] = NP ;
- [ParamType] = {indef, bare : NP} ;
-
-lin
- RuleFun c cs =
- mkUtt (mkS (mkCl (mkNP a_Det c) (mkVP can_VV
- (mkVP (passiveVP construct_V2) (S.mkAdv from_Prep cs))))) ;
- RuleInherent c ps =
- mkUtt (mkS (mkCl (mkNP aPl_Det c) have_V2 ps.indef)) ;
- RuleVariable c ps =
- mkUtt (mkS (mkCl (mkNP aPl_Det c)
- (mkVP (passiveVP inflect_V2) (S.mkAdv for_Prep ps.bare)))) ;
-
-oper
- construct_V2 = mkV2 "construct" ;
- inflect_V2 = mkV2 "inflect" ;
-
-lin
- BaseCat c = mkNP a_Det c ;
- ConsCat c cs = mkNP and_Conj (mkNP a_Det c) cs ;
-
- BaseParamType c = {
- indef = mkNP a_Det c ;
- bare = mkNP c
- } ;
- ConsParamType c cs = {
- indef = mkNP and_Conj (mkNP a_Det c) cs.indef ;
- bare = mkNP and_Conj (mkNP c) cs.bare
- } ;
-
-lin
- CatA = mkCN (mkN "adjective") ;
- CatA2 = mkCN (mkN "two-place adjective") ;
- CatAP = mkCN (mkA "adjectival") (mkN "phrase") ;
- CatAdA = mkCN (mkA "adjective-modifying") (mkN "adverb") ;
- CatAdN = mkCN (mkN "numeral-modifying adverb") ;
- CatAdV = mkCN (mkN "sentential adverb") ;
- CatAdv = mkCN (mkN "verb-phrase-modifying adverb") ;
- CatAnt = mkCN (mkN "anteriority") ;
- CatCAdv = mkCN (mkN "comparative adverb") ;
- CatCN = mkCN (mkN "common noun phrase") ;
- CatCard = mkCN (mkN "cardinal number") ;
- CatCl = mkCN (mkN "declarative clause") ;
- CatClSlash = slash (mkCN (mkN "clause")) ;
- CatComp = funOf (mkN "complement") (mkN "copula") ;
- CatConj = mkCN (mkN "conjunction") ;
- CatDet = mkCN (mkN "determiner phrase") ;
- CatDig = mkCN (mkN "digit") ;
- CatDigits = funOfPl (mkN "sequence") (mkN "digit") ;
- CatIAdv = mkCN (mkN "interrogative adverb") ;
- CatIComp =
- mkCN (mkA "interrogative") (funOf (mkN "complement") (mkN "copula")) ;
- CatIDet = mkCN (mkN "interrogative determiner") ;
- CatIP = mkCN (mkN "interrogative pronoun") ;
- CatIQuant = mkCN (mkN "interrogative quantifier") ;
- CatImp = mkCN (mkN "imperative") ;
- CatImpForm = funOf (mkN "form") (mkN "imperative") ;
- CatInterj = mkCN (mkN "interjection") ;
- CatListAP = funOfPl (mkN "list") (mkN "adjectival phrase") ;
- CatListAdv = funOfPl (mkN "list") (mkN "adverb") ;
- CatListNP = funOfPl (mkN "list") (mkN "noun phrase") ;
- CatListRS = funOfPl (mkN "list") (mkN "relative clause") ;
- CatListS = funOfPl (mkN "list") (mkN "sentence") ;
- CatN = mkCN (mkN "noun") ;
- CatN2 = mkCN (mkN "two-place relational noun") ;
- CatN3 = mkCN (mkN "three-place relational noun") ;
- CatNP = mkCN (mkN "noun phrase") ;
- CatNum = mkCN (mkN "number-determining element") ;
- CatNumeral = mkCN (mkN "numeral expression") ;
- CatOrd = mkCN (mkN "ordinal") ;
- CatPConj = mkCN (mkN "phrase conjunction") ;
- CatPN = mkCN (mkN "proper name") ;
- CatPhr = mkCN (mkN "phrase") (S.mkAdv in_Prep (mkNP a_Det (mkN "text"))) ;
- CatPol = mkCN (mkN "polarity") ;
- CatPredet = mkCN (mkN "predeterminer") ;
- CatPrep = mkCN (mkN "preposition") ;
- CatPron = mkCN (mkN "personal pronoun") ;
- CatPunct = mkCN (mkN "punctuation mark") ;
- CatQCl = mkCN (mkN "question clause") ;
- CatQS = mkCN (mkN "question") ;
- CatQuant = mkCN (mkN "quantifier") ;
- CatRCl = mkCN (mkN "relative clause") ;
- CatRP = mkCN (mkN "relative pronoun") ;
- CatRS = mkCN (mkN "relative sentence") ;
- CatS = mkCN (mkN "declarative sentence") ;
- CatSC = mkCN (mkN "embedded clause") ;
- CatSSlash = slash (mkCN (mkN "sentence")) ;
- CatSub100 = mkCN (mkN "numeral") (S.mkAdv under_Prep (mkNP (mkPN "100"))) ;
- CatSub1000 = mkCN (mkN "numeral") (S.mkAdv under_Prep (mkNP (mkPN "1000"))) ;
- CatSubj = mkCN (mkN "subjunction") ;
- CatTemp = mkCN (mkN "temporal and aspectual feature") ;
- CatTense = mkCN (mkN "tense") ;
- CatText = mkCN (mkN "text") ;
- CatUnit = mkCN (mkN "numeral") (S.mkAdv under_Prep (mkNP (mkPN "10"))) ;
- CatUtt = mkCN (mkN "utterance") ;
- CatV = mkCN (mkN "intransitive verb") ;
- CatV2 = mkCN (mkN "two-place verb") ;
- CatV2A =
- mkCN (mkN "verb") (P.mkAdv "with noun phrase and adjective complements") ;
- CatV2Q =
- mkCN (mkN "verb") (P.mkAdv "with noun phrase and question complements") ;
- CatV2S =
- mkCN (mkN "verb") (P.mkAdv "with noun phrase and sentence complements") ;
- CatV2V =
- mkCN (mkN "verb") (P.mkAdv "with noun phrase and verb phrase complements") ;
- CatV3 = mkCN (mkN "three-place verb") ;
- CatVA =
- mkCN (mkN "verb") (P.mkAdv "with an adjective complement") ;
- CatVP = mkCN (mkN "verb phrase") ;
- CatVPSlash = slash (mkCN (mkN "verb phrase")) ;
- CatVQ =
- mkCN (mkN "verb") (P.mkAdv "with a question complement") ;
- CatVS =
- mkCN (mkN "verb") (P.mkAdv "with a sentence complement") ;
- CatVV =
- mkCN (mkN "verb") (P.mkAdv "with a verb-phrase complement") ;
- CatVoc = mkCN (mkN "vocative") ;
-
- PTGender = mkCN (mkN "gender") ;
- PTNumber = mkCN (mkN "number") ;
- PTCase = mkCN (mkN "case") ;
- PTTense = mkCN (mkN "tense") ;
-
-oper
- slash : CN -> CN = \cn ->
- mkCN (mkAP (mkA2 (mkA "missing") []) (mkNP a_Det (mkN "noun phrase"))) cn ;
-
- funOf : N -> N -> CN = \f,x ->
- mkCN (mkN2 f possess_Prep) (mkNP a_Det x) ;
- funOfPl : N -> N -> CN = \f,x ->
- mkCN (mkN2 f possess_Prep) (mkNP aPl_Det x) ;
-}