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 r_0020_0002__liked liked r_0020_0001__I I r_0020_0002__liked->r_0020_0001__I [arg0] r_0020_0003__QED QED r_0020_0002__liked->r_0020_0003__QED [arg1] r_0020_0005__and and r_0020_0005__and->r_0020_0002__liked [conj1] r_0020_0007__set_r_0020_0008__out set out r_0020_0005__and->r_0020_0007__set_r_0020_0008__out [conj2] r_0020_0007__set_r_0020_0008__out->r_0020_0001__I [arg0] r_0020_0006__so so r_0020_0007__set_r_0020_0008__out->r_0020_0006__so [nim] r_0020_0009__to_r_0020_0010__write to write r_0020_0007__set_r_0020_0008__out->r_0020_0009__to_r_0020_0010__write [arg1] r_0020_0009__to_r_0020_0010__write->r_0020_0001__I [arg0] r_0020_0011__a_r_0020_0012__version a version r_0020_0009__to_r_0020_0010__write->r_0020_0011__a_r_0020_0012__version [arg1] r_0020_0016__this_r_0020_0017__system this system r_0020_0009__to_r_0020_0010__write->r_0020_0016__this_r_0020_0017__system for [nim] r_0020_0011__a_r_0020_0012__version->r_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, nim18).
arc(r_0020_0007__set_r_0020_0008__out, r_0020_0009__to_r_0020_0010__write, arg1).
arc(r_0020_0009__to_r_0020_0010__write, r_0020_0001__I, arg0).
arc(r_0020_0009__to_r_0020_0010__write, r_0020_0011__a_r_0020_0012__version, arg1).
arc(r_0020_0009__to_r_0020_0010__write, r_0020_0016__this_r_0020_0017__system, r_0020_0015__for_nim44).
arc(r_0020_0011__a_r_0020_0012__version, r_0020_0003__QED, r_0020_0013__of).


%3 r_0020_0002__liked liked r_0020_0001__I I r_0020_0002__liked->r_0020_0001__I [arg0] r_0020_0003__QED QED r_0020_0002__liked->r_0020_0003__QED [arg1] r_0020_0005__and and r_0020_0005__and->r_0020_0002__liked [conj1] r_0020_0007__set_r_0020_0008__out set out r_0020_0005__and->r_0020_0007__set_r_0020_0008__out [conj2] r_0020_0007__set_r_0020_0008__out->r_0020_0001__I [arg0] r_0020_0006__so so r_0020_0007__set_r_0020_0008__out->r_0020_0006__so [nim] r_0020_0009__to_r_0020_0010__write to write r_0020_0007__set_r_0020_0008__out->r_0020_0009__to_r_0020_0010__write [arg1] r_0020_0009__to_r_0020_0010__write->r_0020_0001__I [arg0] r_0020_0011__a_r_0020_0012__version a version r_0020_0009__to_r_0020_0010__write->r_0020_0011__a_r_0020_0012__version [arg1] r_0020_0016__this_r_0020_0017__system this system r_0020_0009__to_r_0020_0010__write->r_0020_0016__this_r_0020_0017__system for [nim] r_0020_0011__a_r_0020_0012__version->r_0020_0003__QED of 
fof(formula,axiom,
    ? [R_20_5_AND,R_20_2_LIKED,R_20_7_SET_OUT,R_20_9_TO_WRITE,R_20_1_I,R_20_11_A_VERSION,R_20_3_QED,R_20_16_THIS_SYSTEM,R_20_6_SO] :
      ( i(R_20_1_I)
      & qED(R_20_3_QED)
      & this_system(R_20_16_THIS_SYSTEM)
      & so(R_20_6_SO)
      & and(R_20_5_AND)
      & conj1(R_20_5_AND,R_20_2_LIKED)
      & liked(R_20_2_LIKED,R_20_1_I,R_20_3_QED)
      & conj2(R_20_5_AND,R_20_7_SET_OUT)
      & set_out(R_20_7_SET_OUT,R_20_1_I,R_20_9_TO_WRITE)
      & to_write(R_20_9_TO_WRITE,R_20_1_I,R_20_11_A_VERSION)
      & a_version(R_20_11_A_VERSION)
      & of(R_20_11_A_VERSION,R_20_3_QED)
      & for_nim44(R_20_9_TO_WRITE,R_20_16_THIS_SYSTEM)
      & nim18(R_20_7_SET_OUT,R_20_6_SO) ) ).


n20_a_history_of_qed n20_a_history_of_qed_4 I n20_a_history_of_qed_8 liked n20_a_history_of_qed_11 QED n20_a_history_of_qed_13 , n20_a_history_of_qed_16 and n20_a_history_of_qed_20 so n20_a_history_of_qed_22 set n20_a_history_of_qed_24 out n20_a_history_of_qed_27 to n20_a_history_of_qed_29 write n20_a_history_of_qed_32 a n20_a_history_of_qed_34 version n20_a_history_of_qed_37 of n20_a_history_of_qed_40 it n20_a_history_of_qed_43 for n20_a_history_of_qed_46 this n20_a_history_of_qed_48 system n20_a_history_of_qed_50 . n20_a_history_of_qed_1 IP-MAT n20_a_history_of_qed_2 NP-SBJ n20_a_history_of_qed_1->n20_a_history_of_qed_2 n20_a_history_of_qed_5 ILYR n20_a_history_of_qed_1->n20_a_history_of_qed_5 n20_a_history_of_qed_49 PUNC n20_a_history_of_qed_1->n20_a_history_of_qed_49 n20_a_history_of_qed_3 PRO n20_a_history_of_qed_2->n20_a_history_of_qed_3 n20_a_history_of_qed_3->n20_a_history_of_qed_4 n20_a_history_of_qed_6 ILYR n20_a_history_of_qed_5->n20_a_history_of_qed_6 n20_a_history_of_qed_12 PUNC n20_a_history_of_qed_5->n20_a_history_of_qed_12 n20_a_history_of_qed_14 CONJP n20_a_history_of_qed_5->n20_a_history_of_qed_14 n20_a_history_of_qed_7 VBD;__ n20_a_history_of_qed_6->n20_a_history_of_qed_7 n20_a_history_of_qed_9 NP-OB1 n20_a_history_of_qed_6->n20_a_history_of_qed_9 n20_a_history_of_qed_7->n20_a_history_of_qed_8 n20_a_history_of_qed_10 NPR n20_a_history_of_qed_9->n20_a_history_of_qed_10 n20_a_history_of_qed_10->n20_a_history_of_qed_11 n20_a_history_of_qed_12->n20_a_history_of_qed_13 n20_a_history_of_qed_15 CONJ n20_a_history_of_qed_14->n20_a_history_of_qed_15 n20_a_history_of_qed_17 ILYR n20_a_history_of_qed_14->n20_a_history_of_qed_17 n20_a_history_of_qed_15->n20_a_history_of_qed_16 n20_a_history_of_qed_18 ADVP-NIM n20_a_history_of_qed_17->n20_a_history_of_qed_18 n20_a_history_of_qed_21 VBD;__ n20_a_history_of_qed_17->n20_a_history_of_qed_21 n20_a_history_of_qed_23 RP n20_a_history_of_qed_17->n20_a_history_of_qed_23 n20_a_history_of_qed_25 IP-INF-OB1 n20_a_history_of_qed_17->n20_a_history_of_qed_25 n20_a_history_of_qed_19 ADV n20_a_history_of_qed_18->n20_a_history_of_qed_19 n20_a_history_of_qed_19->n20_a_history_of_qed_20 n20_a_history_of_qed_21->n20_a_history_of_qed_22 n20_a_history_of_qed_23->n20_a_history_of_qed_24 n20_a_history_of_qed_26 TO n20_a_history_of_qed_25->n20_a_history_of_qed_26 n20_a_history_of_qed_28 VB;__ n20_a_history_of_qed_25->n20_a_history_of_qed_28 n20_a_history_of_qed_30 NP-OB1 n20_a_history_of_qed_25->n20_a_history_of_qed_30 n20_a_history_of_qed_41 PP-NIM n20_a_history_of_qed_25->n20_a_history_of_qed_41 n20_a_history_of_qed_26->n20_a_history_of_qed_27 n20_a_history_of_qed_28->n20_a_history_of_qed_29 n20_a_history_of_qed_31 D n20_a_history_of_qed_30->n20_a_history_of_qed_31 n20_a_history_of_qed_33 N n20_a_history_of_qed_30->n20_a_history_of_qed_33 n20_a_history_of_qed_35 PP n20_a_history_of_qed_30->n20_a_history_of_qed_35 n20_a_history_of_qed_31->n20_a_history_of_qed_32 n20_a_history_of_qed_33->n20_a_history_of_qed_34 n20_a_history_of_qed_36 P-ROLE n20_a_history_of_qed_35->n20_a_history_of_qed_36 n20_a_history_of_qed_38 NP n20_a_history_of_qed_35->n20_a_history_of_qed_38 n20_a_history_of_qed_36->n20_a_history_of_qed_37 n20_a_history_of_qed_39 PRO n20_a_history_of_qed_38->n20_a_history_of_qed_39 n20_a_history_of_qed_39->n20_a_history_of_qed_40 n20_a_history_of_qed_42 P-ROLE n20_a_history_of_qed_41->n20_a_history_of_qed_42 n20_a_history_of_qed_44 NP n20_a_history_of_qed_41->n20_a_history_of_qed_44 n20_a_history_of_qed_42->n20_a_history_of_qed_43 n20_a_history_of_qed_45 D n20_a_history_of_qed_44->n20_a_history_of_qed_45 n20_a_history_of_qed_47 N n20_a_history_of_qed_44->n20_a_history_of_qed_47 n20_a_history_of_qed_45->n20_a_history_of_qed_46 n20_a_history_of_qed_47->n20_a_history_of_qed_48 n20_a_history_of_qed_49->n20_a_history_of_qed_50 
( (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))