Contact Us!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.

| Download

Logic of "all" + verbs + relative clauses, for a class at Indiana University

Views: 7217
Tweet
Share
Share
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