Context                Previous, Next                Top


58_a_history_of_qed
See, for example, Tom Van Vleck's encyclopedic discussion of Multics things (this pointer being to things beginning with Q).

%3 r_0058_0001__See See r_0058_0003__for_example for example r_0058_0001__See->r_0058_0003__for_example [nim] r_0058_0010__discussion discussion r_0058_0001__See->r_0058_0010__discussion [arg1] z_000_58_a_history_of_qed_1 r_0058_0001__See->z_000_58_a_history_of_qed_1 [arg0] r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck_r_0058_0008___apos_s Tom Van Vleck 's r_0058_0010__discussion->r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck_r_0058_0008___apos_s [gen] r_0058_0009__encyclopedic encyclopedic r_0058_0010__discussion->r_0058_0009__encyclopedic [attrib] r_0058_0012__Multics_r_0058_0013__things Multics things r_0058_0010__discussion->r_0058_0012__Multics_r_0058_0013__things of r_0058_0017__being being r_0058_0015__this_r_0058_0016__pointer this pointer r_0058_0017__being->r_0058_0015__this_r_0058_0016__pointer [arg0] r_0058_0019__things things r_0058_0017__being->r_0058_0019__things to [clr] r_0058_0020__beginning beginning r_0058_0020__beginning->r_0058_0019__things [arg0] r_0058_0022__Q Q r_0058_0020__beginning->r_0058_0022__Q with [nim] z_000_58_a_history_of_qed_36 z_000_58_a_history_of_qed_36->r_0058_0010__discussion [arg0] z_000_58_a_history_of_qed_36->r_0058_0015__this_r_0058_0016__pointer [prd] 
arc(r_0058_0001__See, r_0058_0003__for_example, nim6).
arc(r_0058_0001__See, r_0058_0010__discussion, arg1).
arc(r_0058_0001__See, z_000_58_a_history_of_qed_1, arg0).
arc(r_0058_0010__discussion, r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck_r_0058_0008___apos_s, gen).
arc(r_0058_0010__discussion, r_0058_0009__encyclopedic, attrib21).
arc(r_0058_0010__discussion, r_0058_0012__Multics_r_0058_0013__things, r_0058_0011__of).
arc(r_0058_0017__being, r_0058_0015__this_r_0058_0016__pointer, arg0).
arc(r_0058_0017__being, r_0058_0019__things, r_0058_0018__to_clr48).
arc(r_0058_0020__beginning, r_0058_0019__things, arg0).
arc(r_0058_0020__beginning, r_0058_0022__Q, r_0058_0021__with_nim57).
arc(z_000_58_a_history_of_qed_36, r_0058_0010__discussion, arg0).
arc(z_000_58_a_history_of_qed_36, r_0058_0015__this_r_0058_0016__pointer, prd).


%3 r_0058_0001__See See r_0058_0003__for_example for example r_0058_0001__See->r_0058_0003__for_example [nim] r_0058_0010__discussion discussion r_0058_0001__See->r_0058_0010__discussion [arg1] z_000_58_a_history_of_qed_1 r_0058_0001__See->z_000_58_a_history_of_qed_1 [arg0] r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck_r_0058_0008___apos_s Tom Van Vleck 's r_0058_0010__discussion->r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck_r_0058_0008___apos_s [gen] r_0058_0009__encyclopedic encyclopedic r_0058_0010__discussion->r_0058_0009__encyclopedic [attrib] r_0058_0012__Multics_r_0058_0013__things Multics things r_0058_0010__discussion->r_0058_0012__Multics_r_0058_0013__things of r_0058_0017__being being r_0058_0015__this_r_0058_0016__pointer this pointer r_0058_0017__being->r_0058_0015__this_r_0058_0016__pointer [arg0] r_0058_0019__things things r_0058_0017__being->r_0058_0019__things to [clr] r_0058_0020__beginning beginning r_0058_0020__beginning->r_0058_0019__things [arg0] r_0058_0022__Q Q r_0058_0020__beginning->r_0058_0022__Q with [nim] z_000_58_a_history_of_qed_36 z_000_58_a_history_of_qed_36->r_0058_0010__discussion [arg0] z_000_58_a_history_of_qed_36->r_0058_0015__this_r_0058_0016__pointer [prd] 
fof(formula,axiom,
    ? [R_58_1_SEE,Z_58_A_HISTORY_OF_QED_1,R_58_3_FOR_EXAMPLE,R_58_17_BEING,R_58_20_BEGINNING,R_58_19_THINGS,R_58_22_Q,Z_58_A_HISTORY_OF_QED_36,R_58_10_DISCUSSION,R_58_9_ENCYCLOPEDIC,R_58_5_TOM_VAN_VLECK_APOS_S,R_58_12_MULTICS_THINGS,R_58_15_THIS_POINTER] :
      ( for_example(R_58_3_FOR_EXAMPLE)
      & things(R_58_19_THINGS)
      & q(R_58_22_Q)
      & encyclopedic(R_58_9_ENCYCLOPEDIC)
      & tom_Van_Vleck_apos_s(R_58_5_TOM_VAN_VLECK_APOS_S)
      & multics_things(R_58_12_MULTICS_THINGS)
      & this_pointer(R_58_15_THIS_POINTER)
      & see(R_58_1_SEE,Z_58_A_HISTORY_OF_QED_1,R_58_10_DISCUSSION)
      & discussion(R_58_10_DISCUSSION)
      & attrib21(R_58_10_DISCUSSION,R_58_9_ENCYCLOPEDIC)
      & gen(R_58_10_DISCUSSION,R_58_5_TOM_VAN_VLECK_APOS_S)
      & of(R_58_10_DISCUSSION,R_58_12_MULTICS_THINGS)
      & nim6(R_58_1_SEE,R_58_3_FOR_EXAMPLE)
      & being(R_58_17_BEING,R_58_15_THIS_POINTER)
      & to_clr48(R_58_17_BEING,R_58_19_THINGS)
      & beginning(R_58_20_BEGINNING,R_58_19_THINGS)
      & with_nim57(R_58_20_BEGINNING,R_58_22_Q)
      & z_58_a_history_of_qed_36(Z_58_A_HISTORY_OF_QED_36,R_58_10_DISCUSSION,R_58_15_THIS_POINTER) ) ).


n58_a_history_of_qed n58_a_history_of_qed_3 See n58_a_history_of_qed_5 , n58_a_history_of_qed_8 for_example n58_a_history_of_qed_10 , n58_a_history_of_qed_14 Tom n58_a_history_of_qed_16 Van n58_a_history_of_qed_18 Vleck n58_a_history_of_qed_20 's n58_a_history_of_qed_23 encyclopedic n58_a_history_of_qed_25 discussion n58_a_history_of_qed_28 of n58_a_history_of_qed_31 Multics n58_a_history_of_qed_33 things n58_a_history_of_qed_35 -LRB- n58_a_history_of_qed_39 this n58_a_history_of_qed_41 pointer n58_a_history_of_qed_44 being n58_a_history_of_qed_47 to n58_a_history_of_qed_50 things n58_a_history_of_qed_53 beginning n58_a_history_of_qed_56 with n58_a_history_of_qed_59 Q n58_a_history_of_qed_61 -RRB- n58_a_history_of_qed_63 . n58_a_history_of_qed_1 IP-IMP n58_a_history_of_qed_2 VB;__ n58_a_history_of_qed_1->n58_a_history_of_qed_2 n58_a_history_of_qed_4 PUNC n58_a_history_of_qed_1->n58_a_history_of_qed_4 n58_a_history_of_qed_6 ADVP-NIM n58_a_history_of_qed_1->n58_a_history_of_qed_6 n58_a_history_of_qed_9 PUNC n58_a_history_of_qed_1->n58_a_history_of_qed_9 n58_a_history_of_qed_11 NP-OB1 n58_a_history_of_qed_1->n58_a_history_of_qed_11 n58_a_history_of_qed_62 PUNC n58_a_history_of_qed_1->n58_a_history_of_qed_62 n58_a_history_of_qed_2->n58_a_history_of_qed_3 n58_a_history_of_qed_4->n58_a_history_of_qed_5 n58_a_history_of_qed_7 ADV n58_a_history_of_qed_6->n58_a_history_of_qed_7 n58_a_history_of_qed_7->n58_a_history_of_qed_8 n58_a_history_of_qed_9->n58_a_history_of_qed_10 n58_a_history_of_qed_12 NP-GEN n58_a_history_of_qed_11->n58_a_history_of_qed_12 n58_a_history_of_qed_21 ADJP n58_a_history_of_qed_11->n58_a_history_of_qed_21 n58_a_history_of_qed_24 N n58_a_history_of_qed_11->n58_a_history_of_qed_24 n58_a_history_of_qed_26 PP n58_a_history_of_qed_11->n58_a_history_of_qed_26 n58_a_history_of_qed_34 PULB n58_a_history_of_qed_11->n58_a_history_of_qed_34 n58_a_history_of_qed_36 IP-PPL n58_a_history_of_qed_11->n58_a_history_of_qed_36 n58_a_history_of_qed_60 PURB n58_a_history_of_qed_11->n58_a_history_of_qed_60 n58_a_history_of_qed_13 NPR n58_a_history_of_qed_12->n58_a_history_of_qed_13 n58_a_history_of_qed_15 NPR n58_a_history_of_qed_12->n58_a_history_of_qed_15 n58_a_history_of_qed_17 NPR n58_a_history_of_qed_12->n58_a_history_of_qed_17 n58_a_history_of_qed_19 GENM n58_a_history_of_qed_12->n58_a_history_of_qed_19 n58_a_history_of_qed_13->n58_a_history_of_qed_14 n58_a_history_of_qed_15->n58_a_history_of_qed_16 n58_a_history_of_qed_17->n58_a_history_of_qed_18 n58_a_history_of_qed_19->n58_a_history_of_qed_20 n58_a_history_of_qed_22 ADJ n58_a_history_of_qed_21->n58_a_history_of_qed_22 n58_a_history_of_qed_22->n58_a_history_of_qed_23 n58_a_history_of_qed_24->n58_a_history_of_qed_25 n58_a_history_of_qed_27 P-ROLE n58_a_history_of_qed_26->n58_a_history_of_qed_27 n58_a_history_of_qed_29 NP n58_a_history_of_qed_26->n58_a_history_of_qed_29 n58_a_history_of_qed_27->n58_a_history_of_qed_28 n58_a_history_of_qed_30 NPR n58_a_history_of_qed_29->n58_a_history_of_qed_30 n58_a_history_of_qed_32 NS n58_a_history_of_qed_29->n58_a_history_of_qed_32 n58_a_history_of_qed_30->n58_a_history_of_qed_31 n58_a_history_of_qed_32->n58_a_history_of_qed_33 n58_a_history_of_qed_34->n58_a_history_of_qed_35 n58_a_history_of_qed_37 NP-PRD n58_a_history_of_qed_36->n58_a_history_of_qed_37 n58_a_history_of_qed_38 D n58_a_history_of_qed_37->n58_a_history_of_qed_38 n58_a_history_of_qed_40 N n58_a_history_of_qed_37->n58_a_history_of_qed_40 n58_a_history_of_qed_42 IP-PPL n58_a_history_of_qed_37->n58_a_history_of_qed_42 n58_a_history_of_qed_38->n58_a_history_of_qed_39 n58_a_history_of_qed_40->n58_a_history_of_qed_41 n58_a_history_of_qed_43 BAG;_Ipr_ n58_a_history_of_qed_42->n58_a_history_of_qed_43 n58_a_history_of_qed_45 PP-CLR n58_a_history_of_qed_42->n58_a_history_of_qed_45 n58_a_history_of_qed_43->n58_a_history_of_qed_44 n58_a_history_of_qed_46 P-ROLE n58_a_history_of_qed_45->n58_a_history_of_qed_46 n58_a_history_of_qed_48 NP n58_a_history_of_qed_45->n58_a_history_of_qed_48 n58_a_history_of_qed_46->n58_a_history_of_qed_47 n58_a_history_of_qed_49 NS n58_a_history_of_qed_48->n58_a_history_of_qed_49 n58_a_history_of_qed_51 IP-PPL n58_a_history_of_qed_48->n58_a_history_of_qed_51 n58_a_history_of_qed_49->n58_a_history_of_qed_50 n58_a_history_of_qed_52 VAG;__ n58_a_history_of_qed_51->n58_a_history_of_qed_52 n58_a_history_of_qed_54 PP n58_a_history_of_qed_51->n58_a_history_of_qed_54 n58_a_history_of_qed_52->n58_a_history_of_qed_53 n58_a_history_of_qed_55 P-ROLE n58_a_history_of_qed_54->n58_a_history_of_qed_55 n58_a_history_of_qed_57 NP n58_a_history_of_qed_54->n58_a_history_of_qed_57 n58_a_history_of_qed_55->n58_a_history_of_qed_56 n58_a_history_of_qed_58 NPR n58_a_history_of_qed_57->n58_a_history_of_qed_58 n58_a_history_of_qed_58->n58_a_history_of_qed_59 n58_a_history_of_qed_60->n58_a_history_of_qed_61 n58_a_history_of_qed_62->n58_a_history_of_qed_63 
( (IP-IMP (VB;__ See;{see})
          (PUNC ,)
          (ADVP-NIM (ADV for_example;{for_example}))
          (PUNC ,)
          (NP-OB1 (NP-GEN (NPR Tom;{Tom})
                          (NPR Van;{Van})
                          (NPR Vleck;{Vleck})
                          (GENM <apos>s))
                  (ADJP (ADJ encyclopedic;{encyclopedic}))
                  (N discussion;{discussion})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Multics;{Multics})
                          (NS things;{thing})))
                  (PULB -LRB-)
                  (IP-PPL (NP-PRD (D this;{this})
                                  (N pointer;{pointer})
                                  (IP-PPL (BAG;_Ipr_ being;{be[to]})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (NS things;{thing})
                                                      (IP-PPL (VAG;__ beginning;{begin})
                                                              (PP (P-ROLE with;{with})
                                                                  (NP (NPR Q;{Q})))))))))
                  (PURB -RRB-))
          (PUNC .))
  (ID 58_a_history_of_qed))