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_0007__set_8__out set_out 0020_0005__and->0020_0007__set_8__out [conj2] 0020_0007__set_8__out->0020_0001__I [arg0] 0020_0006__so so 0020_0007__set_8__out->0020_0006__so [nim] 0020_0010__write write 0020_0007__set_8__out->0020_0010__write [arg1] 0020_0010__write->0020_0001__I [arg0] 0020_0011__a_12__version a_version 0020_0010__write->0020_0011__a_12__version [arg1] 0020_0016__this_17__system this_system 0020_0010__write->0020_0016__this_17__system for[nim] 0020_0011__a_12__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,conj1).
arc(r_0020_0005__and,r_0020_0007__set_r_0020_0008__out,conj2).
arc(r_0020_0007__set_r_0020_0008__out,r_0020_0001__I,arg0).
arc(r_0020_0007__set_r_0020_0008__out,r_0020_0006__so,nim).
arc(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__nim).
arc(r_0020_0011__a_r_0020_0012__version,r_0020_0003__QED,r_0020_0013__of).

n20_a_history_of_qed n20_a_history_of_qed__1_1_1_1 I n20_a_history_of_qed__1_2_1_1_1 liked n20_a_history_of_qed__1_2_1_2_1_1 QED n20_a_history_of_qed__1_2_2_1 , n20_a_history_of_qed__1_2_3_1_1 and n20_a_history_of_qed__1_2_3_2_1_1_1 so n20_a_history_of_qed__1_2_3_2_2_1 set n20_a_history_of_qed__1_2_3_2_3_1 out n20_a_history_of_qed__1_2_3_2_4_1_1 to n20_a_history_of_qed__1_2_3_2_4_2_1 write n20_a_history_of_qed__1_2_3_2_4_3_1_1 a n20_a_history_of_qed__1_2_3_2_4_3_2_1 version n20_a_history_of_qed__1_2_3_2_4_3_3_1_1 of n20_a_history_of_qed__1_2_3_2_4_3_3_2_1_1 it n20_a_history_of_qed__1_2_3_2_4_4_1_1 for n20_a_history_of_qed__1_2_3_2_4_4_2_1_1 this n20_a_history_of_qed__1_2_3_2_4_4_2_2_1 system n20_a_history_of_qed__1_3_1 . n20_a_history_of_qed__1 IP-MAT n20_a_history_of_qed__1_1 NP-SBJ n20_a_history_of_qed__1->n20_a_history_of_qed__1_1 n20_a_history_of_qed__1_2 ILYR n20_a_history_of_qed__1->n20_a_history_of_qed__1_2 n20_a_history_of_qed__1_3 PUNC n20_a_history_of_qed__1->n20_a_history_of_qed__1_3 n20_a_history_of_qed__1_1_1 PRO n20_a_history_of_qed__1_1->n20_a_history_of_qed__1_1_1 n20_a_history_of_qed__1_1_1->n20_a_history_of_qed__1_1_1_1 n20_a_history_of_qed__1_2_1 ILYR n20_a_history_of_qed__1_2->n20_a_history_of_qed__1_2_1 n20_a_history_of_qed__1_2_2 PUNC n20_a_history_of_qed__1_2->n20_a_history_of_qed__1_2_2 n20_a_history_of_qed__1_2_3 CONJP n20_a_history_of_qed__1_2->n20_a_history_of_qed__1_2_3 n20_a_history_of_qed__1_2_1_1 VBD;~ n20_a_history_of_qed__1_2_1->n20_a_history_of_qed__1_2_1_1 n20_a_history_of_qed__1_2_1_2 NP-OB1 n20_a_history_of_qed__1_2_1->n20_a_history_of_qed__1_2_1_2 n20_a_history_of_qed__1_2_1_1->n20_a_history_of_qed__1_2_1_1_1 n20_a_history_of_qed__1_2_1_2_1 NPR n20_a_history_of_qed__1_2_1_2->n20_a_history_of_qed__1_2_1_2_1 n20_a_history_of_qed__1_2_1_2_1->n20_a_history_of_qed__1_2_1_2_1_1 n20_a_history_of_qed__1_2_2->n20_a_history_of_qed__1_2_2_1 n20_a_history_of_qed__1_2_3_1 CONJ n20_a_history_of_qed__1_2_3->n20_a_history_of_qed__1_2_3_1 n20_a_history_of_qed__1_2_3_2 ILYR n20_a_history_of_qed__1_2_3->n20_a_history_of_qed__1_2_3_2 n20_a_history_of_qed__1_2_3_1->n20_a_history_of_qed__1_2_3_1_1 n20_a_history_of_qed__1_2_3_2_1 ADVP-NIM n20_a_history_of_qed__1_2_3_2->n20_a_history_of_qed__1_2_3_2_1 n20_a_history_of_qed__1_2_3_2_2 VBD;~ n20_a_history_of_qed__1_2_3_2->n20_a_history_of_qed__1_2_3_2_2 n20_a_history_of_qed__1_2_3_2_3 RP n20_a_history_of_qed__1_2_3_2->n20_a_history_of_qed__1_2_3_2_3 n20_a_history_of_qed__1_2_3_2_4 IP-INF-OB1 n20_a_history_of_qed__1_2_3_2->n20_a_history_of_qed__1_2_3_2_4 n20_a_history_of_qed__1_2_3_2_1_1 ADV n20_a_history_of_qed__1_2_3_2_1->n20_a_history_of_qed__1_2_3_2_1_1 n20_a_history_of_qed__1_2_3_2_1_1->n20_a_history_of_qed__1_2_3_2_1_1_1 n20_a_history_of_qed__1_2_3_2_2->n20_a_history_of_qed__1_2_3_2_2_1 n20_a_history_of_qed__1_2_3_2_3->n20_a_history_of_qed__1_2_3_2_3_1 n20_a_history_of_qed__1_2_3_2_4_1 TO n20_a_history_of_qed__1_2_3_2_4->n20_a_history_of_qed__1_2_3_2_4_1 n20_a_history_of_qed__1_2_3_2_4_2 VB;~ n20_a_history_of_qed__1_2_3_2_4->n20_a_history_of_qed__1_2_3_2_4_2 n20_a_history_of_qed__1_2_3_2_4_3 NP-OB1 n20_a_history_of_qed__1_2_3_2_4->n20_a_history_of_qed__1_2_3_2_4_3 n20_a_history_of_qed__1_2_3_2_4_4 PP-NIM n20_a_history_of_qed__1_2_3_2_4->n20_a_history_of_qed__1_2_3_2_4_4 n20_a_history_of_qed__1_2_3_2_4_1->n20_a_history_of_qed__1_2_3_2_4_1_1 n20_a_history_of_qed__1_2_3_2_4_2->n20_a_history_of_qed__1_2_3_2_4_2_1 n20_a_history_of_qed__1_2_3_2_4_3_1 D n20_a_history_of_qed__1_2_3_2_4_3->n20_a_history_of_qed__1_2_3_2_4_3_1 n20_a_history_of_qed__1_2_3_2_4_3_2 N n20_a_history_of_qed__1_2_3_2_4_3->n20_a_history_of_qed__1_2_3_2_4_3_2 n20_a_history_of_qed__1_2_3_2_4_3_3 PP n20_a_history_of_qed__1_2_3_2_4_3->n20_a_history_of_qed__1_2_3_2_4_3_3 n20_a_history_of_qed__1_2_3_2_4_3_1->n20_a_history_of_qed__1_2_3_2_4_3_1_1 n20_a_history_of_qed__1_2_3_2_4_3_2->n20_a_history_of_qed__1_2_3_2_4_3_2_1 n20_a_history_of_qed__1_2_3_2_4_3_3_1 P-ROLE n20_a_history_of_qed__1_2_3_2_4_3_3->n20_a_history_of_qed__1_2_3_2_4_3_3_1 n20_a_history_of_qed__1_2_3_2_4_3_3_2 NP n20_a_history_of_qed__1_2_3_2_4_3_3->n20_a_history_of_qed__1_2_3_2_4_3_3_2 n20_a_history_of_qed__1_2_3_2_4_3_3_1->n20_a_history_of_qed__1_2_3_2_4_3_3_1_1 n20_a_history_of_qed__1_2_3_2_4_3_3_2_1 PRO n20_a_history_of_qed__1_2_3_2_4_3_3_2->n20_a_history_of_qed__1_2_3_2_4_3_3_2_1 n20_a_history_of_qed__1_2_3_2_4_3_3_2_1->n20_a_history_of_qed__1_2_3_2_4_3_3_2_1_1 n20_a_history_of_qed__1_2_3_2_4_4_1 P-ROLE n20_a_history_of_qed__1_2_3_2_4_4->n20_a_history_of_qed__1_2_3_2_4_4_1 n20_a_history_of_qed__1_2_3_2_4_4_2 NP n20_a_history_of_qed__1_2_3_2_4_4->n20_a_history_of_qed__1_2_3_2_4_4_2 n20_a_history_of_qed__1_2_3_2_4_4_1->n20_a_history_of_qed__1_2_3_2_4_4_1_1 n20_a_history_of_qed__1_2_3_2_4_4_2_1 D n20_a_history_of_qed__1_2_3_2_4_4_2->n20_a_history_of_qed__1_2_3_2_4_4_2_1 n20_a_history_of_qed__1_2_3_2_4_4_2_2 N n20_a_history_of_qed__1_2_3_2_4_4_2->n20_a_history_of_qed__1_2_3_2_4_4_2_2 n20_a_history_of_qed__1_2_3_2_4_4_2_1->n20_a_history_of_qed__1_2_3_2_4_4_2_1_1 n20_a_history_of_qed__1_2_3_2_4_4_2_2->n20_a_history_of_qed__1_2_3_2_4_4_2_2_1 n20_a_history_of_qed__1_3->n20_a_history_of_qed__1_3_1 
( (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-NIM (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-NIM (P-ROLE for;{for})
                                                 (NP;{GE_SYSTEM} (D this;{this})
                                                                 (N system;{system})))))))
          (PUNC .))
  (ID 20_a_history_of_qed))