diff options
Diffstat (limited to 'next-lib/src/abstract/Conjunction.gf')
| -rw-r--r-- | next-lib/src/abstract/Conjunction.gf | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/next-lib/src/abstract/Conjunction.gf b/next-lib/src/abstract/Conjunction.gf deleted file mode 100644 index 3c40fe1f0..000000000 --- a/next-lib/src/abstract/Conjunction.gf +++ /dev/null @@ -1,45 +0,0 @@ ---1 Conjunction: Coordination - --- Coordination is defined for many different categories; here is --- a sample. The rules apply to *lists* of two or more elements, --- and define two general patterns: --- - ordinary conjunction: X,...X and X --- - distributed conjunction: both X,...,X and X --- --- --- $VP$ conjunctions are not covered here, because their applicability --- depends on language. Some special cases are defined in --- [``Extra`` ../abstract/Extra.gf]. - - -abstract Conjunction = Cat ** { - ---2 Rules - - fun - 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 - --- These categories are only used in this module. - - cat - [S]{2} ; - [RS]{2} ; - [Adv]{2} ; - [NP]{2} ; - [AP]{2} ; - ---2 List constructors - --- The list constructors are derived from the list notation and therefore --- not given explicitly. But here are their type signatures: - - -- BaseC : C -> C -> [C] ; -- for C = S, AP, NP, Adv - -- ConsC : C -> [C] -> [C] ; -} - |