blob: 756c07c6c82da663ba49d8b8b20332d49b49643d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
--# -path=.:alltenses
abstract FraCaS = Grammar, Additions, FraCaSLex ** {
flags
startcat = Phr ;
-- language independent functions
fun
ComparAsAs : A -> NP -> AP;
fun
Adverbial : Adv -> Phr;
PAdverbial : PConj -> Adv -> Phr;
Nounphrase : NP -> Phr;
PNounphrase : PConj -> NP -> Phr;
Question : QS -> Phr;
PQuestion : PConj -> QS -> Phr;
Sentence : S -> Phr;
PSentence : PConj -> S -> Phr;
fun
Past : Temp;
PastPerfect : Temp;
Present : Temp;
PresentPerfect : Temp;
Future : Temp;
FuturePerfect : Temp;
Conditional : Temp;
fun
ConjCN2 : Conj -> CN -> CN -> CN;
ConjNP2 : Conj -> NP -> NP -> NP;
ConjNP3 : Conj -> NP -> NP -> NP -> NP;
ConjQS2 : Conj -> QS -> QS -> QS;
ConjS2 : Conj -> S -> S -> S;
ConjVPI2 : Conj -> VP -> VP -> VPI;
ConjVPS2 : Conj -> Temp -> Pol -> VP -> Temp -> Pol -> VP -> VPS;
-- language dependent functions
fun
UncNeg : Pol ;
fun
ComplVSa : VS -> S -> VP ;
ProgrVPa : VP -> VP ;
fun
elliptic_V : V ;
elliptic_NP_Sg, elliptic_NP_Pl : NP ;
elliptic_CN : CN ;
elliptic_VP : VP ;
elliptic_Cl : Cl ;
elliptic_VPSlash : VPSlash ;
elliptic_V2V : V2V ;
}
|
