CoCalc -- ExampleSentences.hs

Logic of "all" + verbs + relative clauses, for a class at Indiana University
Views: ⁶⁸⁷¹
1
module ExampleSentences  where
2
import Data.List
3
import ARC/Syntax2
4

5
-------------THIS WHOLE FILE SHOULD BE REWORKED IN THE LIGHT OF THE FRONT END! ------------------
6
          
7

8
       
9
cnlist = [Girls,Boys, Dogs,  Cats, Skunks, Mammals, Animals, Chordates, Birds, X, Y, Z, P, Q]       
10
verbList = [Loves, Admires,Helps, Hates,Sees, R, S]     
11
tvVarList = [R,S]        
12
verblistNotVars = verbList \\ tvVarList  
13
cnVarList = [X, Y, Z, P, Q]        
14
cnlistNotVars sList  = cnlist \\ cnVarList  
15
polarizedCNListNotVars aList = [CNasTerm (PCN Pos w) | w <- cnlistNotVars aList] ++  [CNasTerm (PCN Neg w) | w <- cnlistNotVars aList]  
16
polarizedTermListNotVars aList = [CNasTerm (PCN Pos w) | w <- cnlistNotVars aList] ++  [CNasTerm (PCN Neg w) | w <- cnlistNotVars aList]   
17
pairOfCns (Sent d (CNasTerm (PCN Pos n1)) (CNasTerm (PCN Pos n2))) = (n1,n2)
18

19
      
20

21
s2 = Sent All (CNasTerm x) (CNasTerm y)
22
t1 = TermMaker sees (TermNP All  (CNasTerm skunks) )
23
t2 =  TermMaker sees  (TermNP All  (CNasTerm girls))
24
s = Sent All t3 t2
25
t3 =  TermMaker sees (TermNP All t1)
26
t4 =TermMaker  (PV Pos R)  (TermNP All  (CNasTerm  x))
27
t9 =    TermMaker sees (TermNP All  (CNasTerm sneetches))
28
t6 = TermMaker (PV Pos R) (TermNP Some t4)
29
s3 = Sent  All t1 t5
30
t5 =  (CNasTerm animals)
31
t7 =  (CNasTerm chordates)
32
t8 = TermMaker helps (TermNP All  (CNasTerm skunks ))
33
t10 =  (CNasTerm sneetches)
34
sAllXY = s2
35
sAllYZ = Sent All  (CNasTerm y)  (CNasTerm z)  
36
sAllYX = Sent All  (CNasTerm y)  (CNasTerm x) 
37
sAllXZ = Sent All  (CNasTerm x)  (CNasTerm z)
38
sAllXX = Sent All  (CNasTerm x)  (CNasTerm x)
39
sAntiXY = Sent All  (CNasTerm non_x)  (CNasTerm non_y)  
40
sAntiYX = Sent All  (CNasTerm non_y)  (CNasTerm non_x)  
41
sSomeXX = Sent Some  (CNasTerm x)  (CNasTerm x)  
42
sSomeXY = Sent Some  (CNasTerm x)  (CNasTerm y)  
43
sSomeYX = Sent Some  (CNasTerm y)   (CNasTerm x) 
44
sSomeXZ = Sent Some  (CNasTerm x)  (CNasTerm z)  
45
sZeroX = Sent All (CNasTerm x) (CNasTerm non_x) 
46
sOneX = Sent All (CNasTerm non_x)  (CNasTerm x) 
47
sSome = Sent Some  (CNasTerm y)  (CNasTerm z)  
48
s4 = Sent Some  (CNasTerm dogs) (TermMaker sees (TermNP Some  (CNasTerm skunks) ))
49
s6 = Sent Some  (CNasTerm dogs) (TermMaker sees (TermNP Some  (CNasTerm skunks) ))
50
s5 = Sent Some  (CNasTerm sneetches) t2
51
s7 = Sent All t5 t9
52
s8 = Sent All  (CNasTerm dogs) t9
53
s9  =  Sent All t5 t7
54
s10 = Sent Some t10 t5
55
s11 = Sent Some  (CNasTerm dogs) (TermMaker sees (TermNP Some  (CNasTerm sneetches)))
56
s12 = Sent No t10 t10
57
sentList = [
58
            (Sent  All  (CNasTerm skunks)   (CNasTerm mammals)), 
59
            (Sent  Some  (CNasTerm skunks)   (CNasTerm mammals)),   
60
            (Sent  All  (CNasTerm mammals)  (CNasTerm chordates)),
61
            s3, s4, s5, s6, s7, s8, s9, s10, s11, s12
62
            ]
63

64

65
anotherList = 
66
    [ (Sent  Some  (CNasTerm skunks)   (CNasTerm mammals)),  (Sent  Some  (CNasTerm non_chordates)   (CNasTerm mammals)),
67
      (Sent  All  (CNasTerm non_chordates)   (CNasTerm dogs)),
68
     (Sent  Some  (CNasTerm skunks)   (CNasTerm boys)),  (Sent  All  (CNasTerm girls)   (CNasTerm non_mammals))]
69
             
70
fourseven = [(Sent All  (CNasTerm non_y)  (CNasTerm p)),  (Sent All  (CNasTerm p)  (CNasTerm q)),
71
                     (Sent All  (CNasTerm q)  (CNasTerm y)), (Sent All  (CNasTerm y)  (CNasTerm p)), (Sent All  (CNasTerm q)  (CNasTerm z))
72
                    ] 
73

74
smallSentList =   [(Sent  All  (CNasTerm skunks)   (CNasTerm mammals)), 
75
            (Sent  Some  (CNasTerm skunks)   (CNasTerm mammals)),   
76
              (Sent  Some  (CNasTerm non_skunks)   (CNasTerm mammals)),
77
            (Sent  All  (CNasTerm mammals)  (CNasTerm non_chordates)),       (Sent  Some  (CNasTerm boys)  (CNasTerm non_chordates)),
78
             (Sent  All  (CNasTerm girls)  (CNasTerm non_girls))]
79
conc =  (Sent  All  t13 t14)
80

81
tinySentList =  [(Sent  All  (CNasTerm skunks)   (CNasTerm mammals)), 
82
                        (Sent  Some    (CNasTerm mammals) (CNasTerm skunks) ),   
83
                        (Sent  All  (CNasTerm sneetches)   (CNasTerm skunks))]
84

85

86
t11 = TermMaker sees (TermNP All  (CNasTerm skunks) )
87
t12 =  TermMaker sees  (TermNP All  (CNasTerm mammals))
88
t13 = TermMaker helps (TermNP All t11)
89
t14 = TermMaker helps (TermNP All t12)
90
             
91

92

93

94

95

96

97

98

99

100

101

102

103

104