Context                Previous, Next                Top


47_a_history_of_qed
The current local state of the QED line of descent is exemplified by sam, by Rob Pike (see his “The Text Editor sam,” in Software -- Practice and Experience 17 <num> 11, Nov. 1987).

%3 r_0047_0001__The_r_0047_0004__state The state r_0047_0002__current current r_0047_0001__The_r_0047_0004__state->r_0047_0002__current [attrib] r_0047_0003__local local r_0047_0001__The_r_0047_0004__state->r_0047_0003__local [attrib] r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line the QED line r_0047_0001__The_r_0047_0004__state->r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line of r_0047_0010__descent descent r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line->r_0047_0010__descent of r_0047_0011__is is r_0047_0012__exemplified exemplified r_0047_0011__is->r_0047_0012__exemplified [scope] r_0047_0012__exemplified->r_0047_0001__The_r_0047_0004__state [arg1] r_0047_0014__sam sam r_0047_0012__exemplified->r_0047_0014__sam [arg0] r_0047_0017__Rob_r_0047_0018__Pike Rob Pike r_0047_0014__sam->r_0047_0017__Rob_r_0047_0018__Pike by 
arc(r_0047_0001__The_r_0047_0004__state, r_0047_0002__current, attrib5).
arc(r_0047_0001__The_r_0047_0004__state, r_0047_0003__local, attrib8).
arc(r_0047_0001__The_r_0047_0004__state, r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line, r_0047_0005__of).
arc(r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line, r_0047_0010__descent, r_0047_0009__of).
arc(r_0047_0011__is, r_0047_0012__exemplified, scope).
arc(r_0047_0012__exemplified, r_0047_0001__The_r_0047_0004__state, arg1).
arc(r_0047_0012__exemplified, r_0047_0014__sam, arg0).
arc(r_0047_0014__sam, r_0047_0017__Rob_r_0047_0018__Pike, r_0047_0016__by).


%3 r_0047_0001__The_r_0047_0004__state The state r_0047_0002__current current r_0047_0001__The_r_0047_0004__state->r_0047_0002__current [attrib] r_0047_0003__local local r_0047_0001__The_r_0047_0004__state->r_0047_0003__local [attrib] r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line the QED line r_0047_0001__The_r_0047_0004__state->r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line of r_0047_0010__descent descent r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line->r_0047_0010__descent of r_0047_0011__is_r_0047_0012__exemplified is exemplified r_0047_0011__is_r_0047_0012__exemplified->r_0047_0001__The_r_0047_0004__state [arg1] r_0047_0014__sam sam r_0047_0011__is_r_0047_0012__exemplified->r_0047_0014__sam [arg0] r_0047_0017__Rob_r_0047_0018__Pike Rob Pike r_0047_0014__sam->r_0047_0017__Rob_r_0047_0018__Pike by 
fof(formula,axiom,
    ? [R_47_11_IS_EXEMPLIFIED,R_47_14_SAM,R_47_17_ROB_PIKE,R_47_1_THE_STATE,R_47_2_CURRENT,R_47_3_LOCAL,R_47_6_THE_QED_LINE,R_47_10_DESCENT] :
      ( rob_Pike(R_47_17_ROB_PIKE)
      & current(R_47_2_CURRENT)
      & local(R_47_3_LOCAL)
      & descent(R_47_10_DESCENT)
      & is_exemplified(R_47_11_IS_EXEMPLIFIED,R_47_14_SAM,R_47_1_THE_STATE)
      & sam(R_47_14_SAM)
      & by(R_47_14_SAM,R_47_17_ROB_PIKE)
      & the_state(R_47_1_THE_STATE)
      & attrib5(R_47_1_THE_STATE,R_47_2_CURRENT)
      & attrib8(R_47_1_THE_STATE,R_47_3_LOCAL)
      & of(R_47_1_THE_STATE,R_47_6_THE_QED_LINE)
      & the_QED_line(R_47_6_THE_QED_LINE)
      & of(R_47_6_THE_QED_LINE,R_47_10_DESCENT) ) ).


n47_a_history_of_qed n47_a_history_of_qed_4 The n47_a_history_of_qed_7 current n47_a_history_of_qed_10 local n47_a_history_of_qed_12 state n47_a_history_of_qed_15 of n47_a_history_of_qed_18 the n47_a_history_of_qed_20 QED n47_a_history_of_qed_22 line n47_a_history_of_qed_25 of n47_a_history_of_qed_28 descent n47_a_history_of_qed_30 is n47_a_history_of_qed_33 * n47_a_history_of_qed_35 exemplified n47_a_history_of_qed_38 by n47_a_history_of_qed_41 sam n47_a_history_of_qed_43 , n47_a_history_of_qed_46 by n47_a_history_of_qed_49 Rob n47_a_history_of_qed_51 Pike n47_a_history_of_qed_53 -LRB- n47_a_history_of_qed_57 see n47_a_history_of_qed_61 his n47_a_history_of_qed_63 <ldquo> n47_a_history_of_qed_65 The n47_a_history_of_qed_67 Text n47_a_history_of_qed_69 Editor n47_a_history_of_qed_71 sam n47_a_history_of_qed_73 , n47_a_history_of_qed_75 <rdquo> n47_a_history_of_qed_78 in n47_a_history_of_qed_81 Software_--_Practice_and_Experience n47_a_history_of_qed_83 17 n47_a_history_of_qed_85 <num> n47_a_history_of_qed_87 11 n47_a_history_of_qed_89 , n47_a_history_of_qed_93 Nov. n47_a_history_of_qed_95 1987 n47_a_history_of_qed_97 -RRB- n47_a_history_of_qed_99 . n47_a_history_of_qed_1 IP-MAT n47_a_history_of_qed_2 NP-SBJ n47_a_history_of_qed_1->n47_a_history_of_qed_2 n47_a_history_of_qed_29 BEP;_cat_VePASS_ n47_a_history_of_qed_1->n47_a_history_of_qed_29 n47_a_history_of_qed_31 IP-PPL-CAT n47_a_history_of_qed_1->n47_a_history_of_qed_31 n47_a_history_of_qed_52 PULB n47_a_history_of_qed_1->n47_a_history_of_qed_52 n47_a_history_of_qed_54 PRN n47_a_history_of_qed_1->n47_a_history_of_qed_54 n47_a_history_of_qed_96 PURB n47_a_history_of_qed_1->n47_a_history_of_qed_96 n47_a_history_of_qed_98 PUNC n47_a_history_of_qed_1->n47_a_history_of_qed_98 n47_a_history_of_qed_3 D n47_a_history_of_qed_2->n47_a_history_of_qed_3 n47_a_history_of_qed_5 ADJP n47_a_history_of_qed_2->n47_a_history_of_qed_5 n47_a_history_of_qed_8 ADJP n47_a_history_of_qed_2->n47_a_history_of_qed_8 n47_a_history_of_qed_11 N n47_a_history_of_qed_2->n47_a_history_of_qed_11 n47_a_history_of_qed_13 PP n47_a_history_of_qed_2->n47_a_history_of_qed_13 n47_a_history_of_qed_3->n47_a_history_of_qed_4 n47_a_history_of_qed_6 ADJ n47_a_history_of_qed_5->n47_a_history_of_qed_6 n47_a_history_of_qed_6->n47_a_history_of_qed_7 n47_a_history_of_qed_9 ADJ n47_a_history_of_qed_8->n47_a_history_of_qed_9 n47_a_history_of_qed_9->n47_a_history_of_qed_10 n47_a_history_of_qed_11->n47_a_history_of_qed_12 n47_a_history_of_qed_14 P-ROLE n47_a_history_of_qed_13->n47_a_history_of_qed_14 n47_a_history_of_qed_16 NP n47_a_history_of_qed_13->n47_a_history_of_qed_16 n47_a_history_of_qed_14->n47_a_history_of_qed_15 n47_a_history_of_qed_17 D n47_a_history_of_qed_16->n47_a_history_of_qed_17 n47_a_history_of_qed_19 NPR n47_a_history_of_qed_16->n47_a_history_of_qed_19 n47_a_history_of_qed_21 N n47_a_history_of_qed_16->n47_a_history_of_qed_21 n47_a_history_of_qed_23 PP n47_a_history_of_qed_16->n47_a_history_of_qed_23 n47_a_history_of_qed_17->n47_a_history_of_qed_18 n47_a_history_of_qed_19->n47_a_history_of_qed_20 n47_a_history_of_qed_21->n47_a_history_of_qed_22 n47_a_history_of_qed_24 P-ROLE n47_a_history_of_qed_23->n47_a_history_of_qed_24 n47_a_history_of_qed_26 NP n47_a_history_of_qed_23->n47_a_history_of_qed_26 n47_a_history_of_qed_24->n47_a_history_of_qed_25 n47_a_history_of_qed_27 N n47_a_history_of_qed_26->n47_a_history_of_qed_27 n47_a_history_of_qed_27->n47_a_history_of_qed_28 n47_a_history_of_qed_29->n47_a_history_of_qed_30 n47_a_history_of_qed_32 NP-LGS n47_a_history_of_qed_31->n47_a_history_of_qed_32 n47_a_history_of_qed_34 VVN;__ n47_a_history_of_qed_31->n47_a_history_of_qed_34 n47_a_history_of_qed_36 PP-LGS n47_a_history_of_qed_31->n47_a_history_of_qed_36 n47_a_history_of_qed_32->n47_a_history_of_qed_33 n47_a_history_of_qed_34->n47_a_history_of_qed_35 n47_a_history_of_qed_37 P-ROLE;_lgs_ n47_a_history_of_qed_36->n47_a_history_of_qed_37 n47_a_history_of_qed_39 NP n47_a_history_of_qed_36->n47_a_history_of_qed_39 n47_a_history_of_qed_37->n47_a_history_of_qed_38 n47_a_history_of_qed_40 NPR n47_a_history_of_qed_39->n47_a_history_of_qed_40 n47_a_history_of_qed_42 PUNC n47_a_history_of_qed_39->n47_a_history_of_qed_42 n47_a_history_of_qed_44 PP n47_a_history_of_qed_39->n47_a_history_of_qed_44 n47_a_history_of_qed_40->n47_a_history_of_qed_41 n47_a_history_of_qed_42->n47_a_history_of_qed_43 n47_a_history_of_qed_45 P-ROLE n47_a_history_of_qed_44->n47_a_history_of_qed_45 n47_a_history_of_qed_47 NP n47_a_history_of_qed_44->n47_a_history_of_qed_47 n47_a_history_of_qed_45->n47_a_history_of_qed_46 n47_a_history_of_qed_48 NPR n47_a_history_of_qed_47->n47_a_history_of_qed_48 n47_a_history_of_qed_50 NPR n47_a_history_of_qed_47->n47_a_history_of_qed_50 n47_a_history_of_qed_48->n47_a_history_of_qed_49 n47_a_history_of_qed_50->n47_a_history_of_qed_51 n47_a_history_of_qed_52->n47_a_history_of_qed_53 n47_a_history_of_qed_55 IP-IMP n47_a_history_of_qed_54->n47_a_history_of_qed_55 n47_a_history_of_qed_56 VB;__ n47_a_history_of_qed_55->n47_a_history_of_qed_56 n47_a_history_of_qed_58 NP-OB1 n47_a_history_of_qed_55->n47_a_history_of_qed_58 n47_a_history_of_qed_76 PP-NIM n47_a_history_of_qed_55->n47_a_history_of_qed_76 n47_a_history_of_qed_56->n47_a_history_of_qed_57 n47_a_history_of_qed_59 NP-GEN n47_a_history_of_qed_58->n47_a_history_of_qed_59 n47_a_history_of_qed_62 PULQ n47_a_history_of_qed_58->n47_a_history_of_qed_62 n47_a_history_of_qed_64 D n47_a_history_of_qed_58->n47_a_history_of_qed_64 n47_a_history_of_qed_66 N n47_a_history_of_qed_58->n47_a_history_of_qed_66 n47_a_history_of_qed_68 N n47_a_history_of_qed_58->n47_a_history_of_qed_68 n47_a_history_of_qed_70 NPR n47_a_history_of_qed_58->n47_a_history_of_qed_70 n47_a_history_of_qed_72 PUNC n47_a_history_of_qed_58->n47_a_history_of_qed_72 n47_a_history_of_qed_74 PURQ n47_a_history_of_qed_58->n47_a_history_of_qed_74 n47_a_history_of_qed_60 PRO;_genm_ n47_a_history_of_qed_59->n47_a_history_of_qed_60 n47_a_history_of_qed_60->n47_a_history_of_qed_61 n47_a_history_of_qed_62->n47_a_history_of_qed_63 n47_a_history_of_qed_64->n47_a_history_of_qed_65 n47_a_history_of_qed_66->n47_a_history_of_qed_67 n47_a_history_of_qed_68->n47_a_history_of_qed_69 n47_a_history_of_qed_70->n47_a_history_of_qed_71 n47_a_history_of_qed_72->n47_a_history_of_qed_73 n47_a_history_of_qed_74->n47_a_history_of_qed_75 n47_a_history_of_qed_77 P-ROLE n47_a_history_of_qed_76->n47_a_history_of_qed_77 n47_a_history_of_qed_79 NP n47_a_history_of_qed_76->n47_a_history_of_qed_79 n47_a_history_of_qed_77->n47_a_history_of_qed_78 n47_a_history_of_qed_80 NPR n47_a_history_of_qed_79->n47_a_history_of_qed_80 n47_a_history_of_qed_82 NUM n47_a_history_of_qed_79->n47_a_history_of_qed_82 n47_a_history_of_qed_84 N n47_a_history_of_qed_79->n47_a_history_of_qed_84 n47_a_history_of_qed_86 NUM n47_a_history_of_qed_79->n47_a_history_of_qed_86 n47_a_history_of_qed_88 PUNC n47_a_history_of_qed_79->n47_a_history_of_qed_88 n47_a_history_of_qed_90 IP-PPL n47_a_history_of_qed_79->n47_a_history_of_qed_90 n47_a_history_of_qed_80->n47_a_history_of_qed_81 n47_a_history_of_qed_82->n47_a_history_of_qed_83 n47_a_history_of_qed_84->n47_a_history_of_qed_85 n47_a_history_of_qed_86->n47_a_history_of_qed_87 n47_a_history_of_qed_88->n47_a_history_of_qed_89 n47_a_history_of_qed_91 NP-PRD n47_a_history_of_qed_90->n47_a_history_of_qed_91 n47_a_history_of_qed_92 NPR n47_a_history_of_qed_91->n47_a_history_of_qed_92 n47_a_history_of_qed_94 NPR n47_a_history_of_qed_91->n47_a_history_of_qed_94 n47_a_history_of_qed_92->n47_a_history_of_qed_93 n47_a_history_of_qed_94->n47_a_history_of_qed_95 n47_a_history_of_qed_96->n47_a_history_of_qed_97 n47_a_history_of_qed_98->n47_a_history_of_qed_99 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ current;{current}))
                  (ADJP (ADJ local;{local}))
                  (N state;{state})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NPR QED;{QED})
                          (N line;{line})
                          (PP (P-ROLE of;{of})
                              (NP (N descent;{descent}))))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ exemplified;{exemplify})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP;{SAM} (NPR sam;{sam})
                                        (PUNC ,)
                                        (PP (P-ROLE by;{by})
                                            (NP;{ROB} (NPR Rob;{Rob})
                                                      (NPR Pike;{Pike}))))))
          (PULB -LRB-)
          (PRN (IP-IMP (VB;__ see;{see})
                       (NP-OB1 (NP-GEN;{ROB} (PRO;_genm_ his;{his}))
                               (PULQ <ldquo>)
                               (D The;{the})
                               (N Text;{text})
                               (N Editor;{editor})
                               (NPR sam;{sam})
                               (PUNC ,)
                               (PURQ <rdquo>))
                       (PP-NIM (P-ROLE in;{in})
                               (NP (NPR Software_--_Practice_and_Experience)
                                   (NUM 17)
                                   (N <num>)
                                   (NUM 11)
                                   (PUNC ,)
                                   (IP-PPL (NP-PRD (NPR Nov<dot>)
                                                   (NPR 1987)))))))
          (PURB -RRB-)
          (PUNC .))
  (ID 47_a_history_of_qed))