mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-02 15:52:50 -06:00
28 lines
889 B
Plaintext
28 lines
889 B
Plaintext
abstract Conjunction = Cat ** {
|
|
|
|
fun
|
|
|
|
ConjS : Conj -> SeqS -> S ; -- "John walks and Mary runs"
|
|
ConjAP : Conj -> SeqAP -> AP ; -- "even and prime"
|
|
ConjNP : Conj -> SeqNP -> NP ; -- "John or Mary"
|
|
ConjAdv : Conj -> SeqAdv -> Adv ; -- "quickly or slowly"
|
|
|
|
DConjS : DConj -> SeqS -> S ; -- "either John walks or Mary runs"
|
|
DConjAP : DConj -> SeqAP -> AP ; -- "both even and prime"
|
|
DConjNP : DConj -> SeqNP -> NP ; -- "either John or Mary"
|
|
DConjAdv : DConj -> SeqAdv -> Adv ; -- "both badly and slowly"
|
|
|
|
|
|
-- these are rather uninteresting
|
|
|
|
TwoS : S -> S -> SeqS ;
|
|
AddS : SeqS -> S -> SeqS ;
|
|
TwoAdv : Adv -> Adv -> SeqAdv ;
|
|
AddAdv : SeqAdv -> Adv -> SeqAdv ;
|
|
TwoNP : NP -> NP -> SeqNP ;
|
|
AddNP : SeqNP -> NP -> SeqNP ;
|
|
TwoAP : AP -> AP -> SeqAP ;
|
|
AddAP : SeqAP -> AP -> SeqAP ;
|
|
|
|
}
|