GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-16 06:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

added ConjRS and things needed for it

Browse Source
This commit is contained in:
aarne
2008-11-14 15:42:09 +00:00
parent b9bda0e69d
commit e9592c8020
6 changed files with 36 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
next-lib/src/abstract/Conjunction.gf
View File

@@ -17,15 +17,11 @@ abstract Conjunction = Cat ** {
--2 Rules
fun
ConjS : Conj -> [S] -> S ; -- "he walks and she runs"
ConjAP : Conj -> [AP] -> AP ; -- "cold and warm"
ConjNP : Conj -> [NP] -> NP ; -- "she or we"
ConjAdv : Conj -> [Adv] -> Adv ; -- "here or there"
---b DConjS : DConj -> [S] -> S ; -- "either he walks or she runs"
---b DConjAP : DConj -> [AP] -> AP ; -- "both warm and cold"
---b DConjNP : DConj -> [NP] -> NP ; -- "either he or she"
---b DConjAdv : DConj -> [Adv] -> Adv; -- "both here and there"
ConjS : Conj -> [S] -> S ; -- "he walks and she runs"
ConjRS : Conj -> [RS] -> RS ; -- "who walks and whose mother runs"
ConjAP : Conj -> [AP] -> AP ; -- "cold and warm"
ConjNP : Conj -> [NP] -> NP ; -- "she or we"
ConjAdv : Conj -> [Adv] -> Adv ; -- "here or there"
--2 Categories
@@ -33,6 +29,7 @@ abstract Conjunction = Cat ** {
cat
[S]{2} ;
[RS]{2} ;
[Adv]{2} ;
[NP]{2} ;
[AP]{2} ;
@@ -46,7 +43,3 @@ abstract Conjunction = Cat ** {
-- ConsC : C -> [C] -> [C] ;
}
--.
-- *Note*. This module uses right-recursive lists. If backward
-- compatibility with API 0.9 is needed, use
-- [SeqConjunction SeqConjunction.html].