;; deconversion process, example for deco course
;; made by : Meiying Zhu
;; made on : 15 Mar 2006

;; >>>>>>>>>> kinds of rules:

; <type> (<COND>)     {<COND>:<ACTION>:<REL>}              {<COND>:<ACTION>:<REL>} (<COND>)... Pxx;
; <type> (<COND>)...  "<COND>:<ACTION>:<REL>"  (<COND>)... {<COND>:<ACTION>:<REL>} (<COND>)... Pxx;
; <type> (<COND>)...  {<COND>:<ACTION>:<REL>}  (<COND>)... "<COND>:<ACTION>:<REL>" (<COND>)... Pxx;

; (<COND>)... can be omitted

;; >>>>>>>>>> about the trace:

; lines begin with semicolon(;) are comments
; messages after semicolon(;) of each rule are comments also

; / shows two adjacent nodes
; (1) ... (14) are the rules that needed for deconvert S:20 of article "Ethics and Science"
; rules with same number in the trace below shows the same rule
; [ and ] in the Node-List show the nodes where LGW and RGW located

;; >>>>>>>>>> to start

; ===== Node-List: =====
; [<<]   [includ.@entry]    >>		; initial state


: "N,@pl: :aoj" {V,AOJ.S,^subj:subj,pl} P3;			(1)

; ===== Node-List: =====
; [<<] / [need.@pl] / includ.@entry / >>

: "ADJ,PREN::mod" {N} P3;					(2)

; ===== Node-List: =====
; [<<] / [such] / need.@pl / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / [such] / [need.@pl] / includ.@entry / >>

: {ADJ,^blk:blk} "[ ],BLK" P3;		(4)

; ===== Node-List: =====
; [<<] / [such] / / need.@pl / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / [such] / [ ] / need.@pl / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / [ ] / [need.@pl] / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / [need.@pl] / [includ.@entry] / >>

: {N,@pl,PLS,^ending:ending} "[s],NZ,PL" P3;		(5)

; ===== Node-List: =====
; << / such / [ ] / [need.@pl] / s / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / [need.@pl] / [s] / includ.@entry / >>

R {}{}P1;			(3)

; Node-List
; << / such / / need.@pl / [s] / [includ.@entry] / >>

: {NZ,^blk:blk} "[ ],BLK" P3;		(6)

; ===== Node-List: =====
; << / such / / [need.@pl] / [s] / / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / [s] / [ ] / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / [ ] / [includ.@entry] / >>

: "ADV::man" {V} P3;		(7)

; ===== Node-List: =====
; << / such / / need.@pl / s / [ ] / [always] / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / [always] / [includ.@entry] / >>

: {ADV,^blk:blk} "[ ],BLK" P3;		(8)

; ===== Node-List: =====
; << / such / / need.@pl / s / [ ] / [always] / / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / [always] / [ ] / includ.@entry / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / [ ] / [includ.@entry.@complete] / >>

: "[hav],AUXV" {V,@complete,^auxv:auxv} P3;	(9)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / [ ] / [hav] / includ.@entry.@complete / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / [hav] / [includ.@entry.@complete] / >>

: {AUXV,BAE,^ending:ending} "[e],VZ,BA" P3;		(10)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / [ ] / [hav] / e / includ.@entry.@complete / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / [hav] / [e] / includ.@entry.@complete / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / [e] / [includ.@entry.@complete] / >>

: {VZ,^blk:blk} "[ ],BLK" P3;		(11)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / [hav] / [e] / / includ.@entry.@complete / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / [e] / [ ] / includ.@entry.@complete / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / [ ] / [includ.@entry.@complete] / >>

R {}{}P1;			(3)

; Node-List
; << / such / / need.@pl / s / / always / / hav / e / / [includ.@entry.@complete] / [>>]

: {V,OBJ.DO,>obj:->obj} "N::obj" P3;	(12)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / [ ] / [includ.@entry.@complete] / ethis / [>>]

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / [includ.@entry.@complete] / [ethis] / [>>]

: {V,@complete,ENED,^>obj,^ending:ending} "[ed],VZ,EN" P3;	(13)

; ===== Node-List: =====
: << / such / / need.@pl / s / / always / / hav / e / [ ] / [includ.@entry.@complete] / ed / ethic / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / [includ.@entry.@complete] / [ed] / ethic / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / [ed] / [ethic] / >>

: {VZ,^blk:blk} "[ ],BLK" P3;		(11)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / [includ.@entry.@complete] / [ed] / / ethic / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / [ed] / [ ] / ethic / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / [ ] / [ethic] / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / [ethic] / [>>]

: {N,@pl,PLS,^ending:ending} "[s],NZ,PL" P3;		(5)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / [ ] / [ethic] / s / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / [ethic] / [s] / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / ethic / [s] / [>>]

: {NZ,^blk:blk} "[ ],BLK" P3;		(6)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / [ethic] / [s] / / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / ethic / [s] / [ ] / >>

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / ethic / s / [ ] / [>>]

DL {BLK}{STAIL} P2;		(14)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / ethic / [s] / [>>]

R {}{}P1;			(3)

; ===== Node-List: =====
; << / such / / need.@pl / s / / always / / hav / e / / includ.@entry.@complete / ed / / ethic / s / [>>]

;; <<<<<<<<<< end