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 z_000_58_a_history_of_qed_36 r_0058_0015__this_r_0058_0016__pointer this pointer z_000_58_a_history_of_qed_36->r_0058_0015__this_r_0058_0016__pointer [prd] r_0058_0010__discussion discussion z_000_58_a_history_of_qed_36->r_0058_0010__discussion [arg0] 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_0009__encyclopedic encyclopedic r_0058_0010__discussion->r_0058_0009__encyclopedic [attrib] 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_0020__beginning beginning r_0058_0022__Q Q r_0058_0020__beginning->r_0058_0022__Q with [nim] r_0058_0019__things things r_0058_0020__beginning->r_0058_0019__things [arg0] r_0058_0017__being being r_0058_0017__being->r_0058_0015__this_r_0058_0016__pointer [arg0] r_0058_0017__being->r_0058_0019__things to [clr] r_0058_0001__See See 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_0003__for_example for example r_0058_0001__See->r_0058_0003__for_example [nim] 
fof(formula,axiom,
    ? [R_0058_0003__FOR_EXAMPLE,R_0058_0005__TOM_R_0058_0006__VAN_R_0058_0007__VLECK_R_0058_0008___APOS_S,R_0058_0009__ENCYCLOPEDIC,R_0058_0012__MULTICS_R_0058_0013__THINGS,R_0058_0010__DISCUSSION,Z_000_58_A_HISTORY_OF_QED_1,R_0058_0001__SEE,R_0058_0015__THIS_R_0058_0016__POINTER,R_0058_0019__THINGS,R_0058_0017__BEING,R_0058_0022__Q,R_0058_0020__BEGINNING,Z_000_58_A_HISTORY_OF_QED_36] :
      ( r_0058_0003__for_example(R_0058_0003__FOR_EXAMPLE)
      & r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck_r_0058_0008___apos_s(R_0058_0005__TOM_R_0058_0006__VAN_R_0058_0007__VLECK_R_0058_0008___APOS_S)
      & r_0058_0009__encyclopedic(R_0058_0009__ENCYCLOPEDIC)
      & r_0058_0012__Multics_r_0058_0013__things(R_0058_0012__MULTICS_R_0058_0013__THINGS)
      & r_0058_0015__this_r_0058_0016__pointer(R_0058_0015__THIS_R_0058_0016__POINTER)
      & r_0058_0019__things(R_0058_0019__THINGS)
      & r_0058_0022__Q(R_0058_0022__Q)
      & z_000_58_a_history_of_qed_1(Z_000_58_A_HISTORY_OF_QED_1)
      & z_000_58_a_history_of_qed_36(Z_000_58_A_HISTORY_OF_QED_36)
      & has_prd(Z_000_58_A_HISTORY_OF_QED_36,R_0058_0015__THIS_R_0058_0016__POINTER)
      & has_arg0(Z_000_58_A_HISTORY_OF_QED_36,R_0058_0010__DISCUSSION)
      & r_0058_0010__discussion(R_0058_0010__DISCUSSION)
      & has_r_0058_0011__of(R_0058_0010__DISCUSSION,R_0058_0012__MULTICS_R_0058_0013__THINGS)
      & has_attrib21(R_0058_0010__DISCUSSION,R_0058_0009__ENCYCLOPEDIC)
      & has_gen(R_0058_0010__DISCUSSION,R_0058_0005__TOM_R_0058_0006__VAN_R_0058_0007__VLECK_R_0058_0008___APOS_S)
      & r_0058_0020__beginning(R_0058_0020__BEGINNING)
      & has_r_0058_0021__with_nim57(R_0058_0020__BEGINNING,R_0058_0022__Q)
      & has_arg0(R_0058_0020__BEGINNING,R_0058_0019__THINGS)
      & r_0058_0017__being(R_0058_0017__BEING)
      & has_r_0058_0018__to_clr48(R_0058_0017__BEING,R_0058_0019__THINGS)
      & has_arg0(R_0058_0017__BEING,R_0058_0015__THIS_R_0058_0016__POINTER)
      & r_0058_0001__See(R_0058_0001__SEE)
      & has_arg0(R_0058_0001__SEE,Z_000_58_A_HISTORY_OF_QED_1)
      & has_arg1(R_0058_0001__SEE,R_0058_0010__DISCUSSION)
      & has_nim6(R_0058_0001__SEE,R_0058_0003__FOR_EXAMPLE) ) ).


n58_a_history_of_qed n58_a_history_of_qed__1_1_1 See n58_a_history_of_qed__1_2_1 , n58_a_history_of_qed__1_3_1_1 for_example n58_a_history_of_qed__1_4_1 , n58_a_history_of_qed__1_5_1_1_1 Tom n58_a_history_of_qed__1_5_1_2_1 Van n58_a_history_of_qed__1_5_1_3_1 Vleck n58_a_history_of_qed__1_5_1_4_1 's n58_a_history_of_qed__1_5_2_1_1 encyclopedic n58_a_history_of_qed__1_5_3_1 discussion n58_a_history_of_qed__1_5_4_1_1 of n58_a_history_of_qed__1_5_4_2_1_1 Multics n58_a_history_of_qed__1_5_4_2_2_1 things n58_a_history_of_qed__1_5_5_1 -LRB- n58_a_history_of_qed__1_5_6_1_1_1 this n58_a_history_of_qed__1_5_6_1_2_1 pointer n58_a_history_of_qed__1_5_6_1_3_1_1 being n58_a_history_of_qed__1_5_6_1_3_2_1_1 to n58_a_history_of_qed__1_5_6_1_3_2_2_1_1 things n58_a_history_of_qed__1_5_6_1_3_2_2_2_1_1 beginning n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_1_1 with n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2_1_1 Q n58_a_history_of_qed__1_5_7_1 -RRB- n58_a_history_of_qed__1_6_1 . n58_a_history_of_qed__1 IP-IMP n58_a_history_of_qed__1_1 VB;__ n58_a_history_of_qed__1->n58_a_history_of_qed__1_1 n58_a_history_of_qed__1_2 PUNC n58_a_history_of_qed__1->n58_a_history_of_qed__1_2 n58_a_history_of_qed__1_3 ADVP-NIM n58_a_history_of_qed__1->n58_a_history_of_qed__1_3 n58_a_history_of_qed__1_4 PUNC n58_a_history_of_qed__1->n58_a_history_of_qed__1_4 n58_a_history_of_qed__1_5 NP-OB1 n58_a_history_of_qed__1->n58_a_history_of_qed__1_5 n58_a_history_of_qed__1_6 PUNC n58_a_history_of_qed__1->n58_a_history_of_qed__1_6 n58_a_history_of_qed__1_1->n58_a_history_of_qed__1_1_1 n58_a_history_of_qed__1_2->n58_a_history_of_qed__1_2_1 n58_a_history_of_qed__1_3_1 ADV n58_a_history_of_qed__1_3->n58_a_history_of_qed__1_3_1 n58_a_history_of_qed__1_3_1->n58_a_history_of_qed__1_3_1_1 n58_a_history_of_qed__1_4->n58_a_history_of_qed__1_4_1 n58_a_history_of_qed__1_5_1 NP-GEN n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_1 n58_a_history_of_qed__1_5_2 ADJP n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_2 n58_a_history_of_qed__1_5_3 N n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_3 n58_a_history_of_qed__1_5_4 PP n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_4 n58_a_history_of_qed__1_5_5 PULB n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_5 n58_a_history_of_qed__1_5_6 IP-PPL n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_6 n58_a_history_of_qed__1_5_7 PURB n58_a_history_of_qed__1_5->n58_a_history_of_qed__1_5_7 n58_a_history_of_qed__1_5_1_1 NPR n58_a_history_of_qed__1_5_1->n58_a_history_of_qed__1_5_1_1 n58_a_history_of_qed__1_5_1_2 NPR n58_a_history_of_qed__1_5_1->n58_a_history_of_qed__1_5_1_2 n58_a_history_of_qed__1_5_1_3 NPR n58_a_history_of_qed__1_5_1->n58_a_history_of_qed__1_5_1_3 n58_a_history_of_qed__1_5_1_4 GENM n58_a_history_of_qed__1_5_1->n58_a_history_of_qed__1_5_1_4 n58_a_history_of_qed__1_5_1_1->n58_a_history_of_qed__1_5_1_1_1 n58_a_history_of_qed__1_5_1_2->n58_a_history_of_qed__1_5_1_2_1 n58_a_history_of_qed__1_5_1_3->n58_a_history_of_qed__1_5_1_3_1 n58_a_history_of_qed__1_5_1_4->n58_a_history_of_qed__1_5_1_4_1 n58_a_history_of_qed__1_5_2_1 ADJ n58_a_history_of_qed__1_5_2->n58_a_history_of_qed__1_5_2_1 n58_a_history_of_qed__1_5_2_1->n58_a_history_of_qed__1_5_2_1_1 n58_a_history_of_qed__1_5_3->n58_a_history_of_qed__1_5_3_1 n58_a_history_of_qed__1_5_4_1 P-ROLE n58_a_history_of_qed__1_5_4->n58_a_history_of_qed__1_5_4_1 n58_a_history_of_qed__1_5_4_2 NP n58_a_history_of_qed__1_5_4->n58_a_history_of_qed__1_5_4_2 n58_a_history_of_qed__1_5_4_1->n58_a_history_of_qed__1_5_4_1_1 n58_a_history_of_qed__1_5_4_2_1 NPR n58_a_history_of_qed__1_5_4_2->n58_a_history_of_qed__1_5_4_2_1 n58_a_history_of_qed__1_5_4_2_2 NS n58_a_history_of_qed__1_5_4_2->n58_a_history_of_qed__1_5_4_2_2 n58_a_history_of_qed__1_5_4_2_1->n58_a_history_of_qed__1_5_4_2_1_1 n58_a_history_of_qed__1_5_4_2_2->n58_a_history_of_qed__1_5_4_2_2_1 n58_a_history_of_qed__1_5_5->n58_a_history_of_qed__1_5_5_1 n58_a_history_of_qed__1_5_6_1 NP-PRD n58_a_history_of_qed__1_5_6->n58_a_history_of_qed__1_5_6_1 n58_a_history_of_qed__1_5_6_1_1 D n58_a_history_of_qed__1_5_6_1->n58_a_history_of_qed__1_5_6_1_1 n58_a_history_of_qed__1_5_6_1_2 N n58_a_history_of_qed__1_5_6_1->n58_a_history_of_qed__1_5_6_1_2 n58_a_history_of_qed__1_5_6_1_3 IP-PPL n58_a_history_of_qed__1_5_6_1->n58_a_history_of_qed__1_5_6_1_3 n58_a_history_of_qed__1_5_6_1_1->n58_a_history_of_qed__1_5_6_1_1_1 n58_a_history_of_qed__1_5_6_1_2->n58_a_history_of_qed__1_5_6_1_2_1 n58_a_history_of_qed__1_5_6_1_3_1 BAG;_Ipr_ n58_a_history_of_qed__1_5_6_1_3->n58_a_history_of_qed__1_5_6_1_3_1 n58_a_history_of_qed__1_5_6_1_3_2 PP-CLR n58_a_history_of_qed__1_5_6_1_3->n58_a_history_of_qed__1_5_6_1_3_2 n58_a_history_of_qed__1_5_6_1_3_1->n58_a_history_of_qed__1_5_6_1_3_1_1 n58_a_history_of_qed__1_5_6_1_3_2_1 P-ROLE n58_a_history_of_qed__1_5_6_1_3_2->n58_a_history_of_qed__1_5_6_1_3_2_1 n58_a_history_of_qed__1_5_6_1_3_2_2 NP n58_a_history_of_qed__1_5_6_1_3_2->n58_a_history_of_qed__1_5_6_1_3_2_2 n58_a_history_of_qed__1_5_6_1_3_2_1->n58_a_history_of_qed__1_5_6_1_3_2_1_1 n58_a_history_of_qed__1_5_6_1_3_2_2_1 NS n58_a_history_of_qed__1_5_6_1_3_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2 IP-PPL n58_a_history_of_qed__1_5_6_1_3_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_2 n58_a_history_of_qed__1_5_6_1_3_2_2_1->n58_a_history_of_qed__1_5_6_1_3_2_2_1_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2_1 VAG;__ n58_a_history_of_qed__1_5_6_1_3_2_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_2_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2_2 PP n58_a_history_of_qed__1_5_6_1_3_2_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_2_2 n58_a_history_of_qed__1_5_6_1_3_2_2_2_1->n58_a_history_of_qed__1_5_6_1_3_2_2_2_1_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_1 P-ROLE n58_a_history_of_qed__1_5_6_1_3_2_2_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2 NP n58_a_history_of_qed__1_5_6_1_3_2_2_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2 n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_1->n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_1_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2_1 NPR n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2->n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2_1 n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2_1->n58_a_history_of_qed__1_5_6_1_3_2_2_2_2_2_1_1 n58_a_history_of_qed__1_5_7->n58_a_history_of_qed__1_5_7_1 n58_a_history_of_qed__1_6->n58_a_history_of_qed__1_6_1 
( (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))