Context                Previous, Next                Top


20_a_history_of_qed
I liked QED , and so set out to write a version of it for this system .

%3 0020_0002__liked liked 0020_0001__I I 0020_0002__liked->0020_0001__I [arg0] 0020_0003__QED qed 0020_0002__liked->0020_0003__QED [arg1] 0020_0005__and and 0020_0005__and->0020_0002__liked [conj1] 0020_0006__so_0020_0007__set_0020_0008__out so_set_out 0020_0005__and->0020_0006__so_0020_0007__set_0020_0008__out [conj2] 0020_0006__so_0020_0007__set_0020_0008__out->0020_0001__I [arg0] 0020_0010__write write 0020_0006__so_0020_0007__set_0020_0008__out->0020_0010__write [arg1] 0020_0010__write->0020_0001__I [arg0] 0020_0011__a_0020_0012__version a_version 0020_0010__write->0020_0011__a_0020_0012__version [arg1] 0020_0016__this_0020_0017__system this_system 0020_0010__write->0020_0016__this_0020_0017__system for[bnf] 0020_0011__a_0020_0012__version->0020_0003__QED of 
arc(r_0020_0002__liked,r_0020_0001__I,arg0).
arc(r_0020_0002__liked,r_0020_0003__QED,arg1).
arc(r_0020_0005__and,r_0020_0002__liked,coord_conj1).
arc(r_0020_0005__and,r_0020_0006__so_r_0020_0007__set_r_0020_0008__out,coord_conj2).
arc(r_0020_0006__so_r_0020_0007__set_r_0020_0008__out,r_0020_0001__I,arg0).
arc(r_0020_0006__so_r_0020_0007__set_r_0020_0008__out,r_0020_0010__write,arg1).
arc(r_0020_0010__write,r_0020_0001__I,arg0).
arc(r_0020_0010__write,r_0020_0011__a_r_0020_0012__version,arg1).
arc(r_0020_0010__write,r_0020_0016__this_r_0020_0017__system,r_0020_0015__for__bnf).
arc(r_0020_0011__a_r_0020_0012__version,r_0020_0003__QED,r_0020_0013__of).

IP-MAT NP-SBJ PRO I ILYR ILYR VBD liked NP-OB1 NPR QED PUNC , CONJP CONJ and ILYR ADVP-CNT ADV so VBD set RP out IP-INF-OB1 TO to VB write NP-OB1 D a N version PP P-ROLE of NP PRO it PP-BNF P-ROLE for NP D this N system PUNC . 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (ILYR (ILYR (VBD liked;{like})
                      (NP-OB1;{QED} (NPR QED;{QED})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-CNT (ADV so;{so}))
                             (VBD set;{set})
                             (RP out;{out})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB write;{write})
                                         (NP-OB1;{GECOS_QED} (D a;{a})
                                                             (N version;{version})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP;{QED} (PRO it;{it}))))
                                         (PP-BNF (P-ROLE for;{for})
                                                 (NP;{GE_SYSTEM} (D this;{this})
                                                                 (N system;{system})))))))
          (PUNC .))
  (ID 20_a_history_of_qed))