;============================================================================================
;ENGLISH SEMANTIC MODULE FOR THE ANALYSIS OF THE TRAINING CORPUS
;============================================================================================

;============================================================================================
;1. DE-ARBORIZATION
;Converts the syntactic tree into a syntactic network
;============================================================================================
;============================================================================================

;Generalization
/[ACDIJNPV]B/(%x;%y):=XB(%x;%y);
/[ACDIJNPV]P/(%x;%y):=XP(%x;%y);

;Moving the attributes from outer nodes to inner nodes
(XB(%x;%y),%w,att):=(XB(%x,+att=%w;%y),%w,-att);
(XP(%x;%y),%w,att):=(XP(%x,+att=%w;%y),%w,-att);

;Moving the relations from outer nodes to inner nodes
(XB(%x;%y),%w,rel):=(XB(%x,+rel=%w;%y),%w,-rel);
(XP(%x;%y),%w,rel):=(XP(%x,+rel=%w;%y),%w,-rel);

;Converting trees into head-driven phrase structures
XP(XB(%x;%y);%z):=XB(%x;%y)XS(%x;%z);
XB(XB(%x;%y);%z):=XB(%x;%y)XB(%x;%z);
XS(XB(%x;%y);%z):=XB(%x;%y)XS(%x;%z);
XS(%x;XB(%y;%z)):=XS(%x;%y)XB(%y;%z);
XB(%z;XB(%x;%y)):=XB(%x;%y)XB(%z;%x);
XP(%x;%y):=XS(%x;%y);

;Labeling head-driven phrase structures
XB(%x,A;%y,adjt):=AA(%x;%y);
XB(%x,C;%y,adjt):=CA(%x;%y);
XB(%x,D;%y,adjt):=DA(%x;%y);
XB(%x,I;%y,adjt):=IA(%x;%y);
XB(%x,J;%y,adjt):=JA(%x;%y);
XB(%x,N;%y,adjt):=NA(%x;%y);
XB(%x,P;%y,adjt):=PA(%x;%y);
XB(%x,V;%y,adjt):=VA(%x;%y);

XB(%x,A;%y,comp):=NC(%x;%y);
XB(%x,C;%y,comp):=CC(%x;%y);
XB(%x,D;%y,comp):=DC(%x;%y);
XB(%x,I;%y,comp):=IC(%x;%y);
XB(%x,J;%y,comp):=JC(%x;%y);
XB(%x,N;%y,comp):=NC(%x;%y);
XB(%x,P;%y,comp):=PC(%x;%y);
XB(%x,V;%y,comp):=VC(%x;%y);

XB(%x,A;%y):=AA(%x;%y);
XB(%x,C;%y):=CA(%x;%y);
XB(%x,D;%y):=DA(%x;%y);
XB(%x,I;%y):=IA(%x;%y);
XB(%x,J;%y):=JA(%x;%y);
XB(%x,N;%y):=NA(%x;%y);
XB(%x,P;%y):=PA(%x;%y);
XB(%x,V;%y):=VA(%x;%y);

XS(%x,A;%y):=AS(%x;%y);
XS(%x,C;%y):=CS(%x;%y);
XS(%x,D;%y):=DS(%x;%y);
XS(%x,I;%y):=IS(%x;%y);
XS(%x,J;%y):=JS(%x;%y);
XS(%x,N;%y):=NS(%x;%y);
XS(%x,P;%y):=PS(%x;%y);
XS(%x,V;%y):=VS(%x;%y);

;============================================================================================
;============================================================================================
;2. INTERPRETATION
;Converts the syntactic network into a semantic network
;============================================================================================
;============================================================================================
;Relations
/[ACDIJNPV][ACS]/(%x;%y,adr):=adr(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,agt):=agt(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,ant):=ant(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,aoj):=aoj(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,ben):=ben(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,bas):=bas(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,cag):=cag(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,cnt):=cnt(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,con):=con(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,cob):=cob(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,coo):=coo(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,dur):=dur(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,equ):=equ(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,exp):=exp(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,fld):=fld(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,frm):=frm(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,gol):=gol(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,icl):=icl(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,ins):=ins(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,iof):=iof(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,man):=man(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,mat):=mat(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,met):=met(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,mod):=mod(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,nam):=nam(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,obj):=obj(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,per):=per(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,plc):=plc(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,plf):=plf(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,plt):=plt(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,pof):=pof(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,pos):=pos(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,ptn):=ptn(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,pur):=pur(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,qua):=qua(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,rsn):=rsn(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,scn):=scn(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,seq):=seq(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,src):=src(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,tim):=tim(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,tmf):=tmf(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,tmt):=tmt(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,to):=to(%x;%y);
/[ACDIJNPV][ACS]/(%x;%y,via):=via(%x;%y);