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).

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 PRN 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 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-)
                  (PRN (NP (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))


%3 z_0058_5010 r_0058_0015__this_r_0058_0016__pointer this pointer z_0058_5010->r_0058_0015__this_r_0058_0016__pointer [prd] r_0058_0010__discussion discussion z_0058_5010->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 Tom Van Vleck r_0058_0010__discussion->r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck [gen] r_0058_0020__beginning beginning r_0058_0022__Q Q r_0058_0020__beginning->r_0058_0022__Q with r_0058_0019__things things r_0058_0020__beginning->r_0058_0019__things [inv_arg0] r_0058_0017__being_r_0058_0018__to being to r_0058_0017__being_r_0058_0018__to->r_0058_0015__this_r_0058_0016__pointer [inv_arg0] r_0058_0017__being_r_0058_0018__to->r_0058_0019__things [arg1] r_0058_0001__See See r_0058_0001__See->r_0058_0010__discussion [arg1] z_0058_5002 r_0058_0001__See->z_0058_5002 [arg0] r_0058_0003__for_example for_example r_0058_0001__See->r_0058_0003__for_example [nim] 
arc(r_0058_0001__See,r_0058_0003__for_example,nim).
arc(r_0058_0001__See,r_0058_0010__discussion,arg1).
arc(r_0058_0001__See,z_0058_5002,arg0).
arc(r_0058_0010__discussion,r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck,gen).
arc(r_0058_0010__discussion,r_0058_0009__encyclopedic,attrib).
arc(r_0058_0010__discussion,r_0058_0012__Multics_r_0058_0013__things,r_0058_0011__of).
arc(r_0058_0017__being_r_0058_0018__to,r_0058_0015__this_r_0058_0016__pointer,inv_arg0).
arc(r_0058_0017__being_r_0058_0018__to,r_0058_0019__things,arg1).
arc(r_0058_0020__beginning,r_0058_0019__things,inv_arg0).
arc(r_0058_0020__beginning,r_0058_0022__Q,r_0058_0021__with).
arc(z_0058_5010,r_0058_0010__discussion,arg0).
arc(z_0058_5010,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_0058_5002 r_0058_0001__See->z_0058_5002 [arg0] r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck Tom Van Vleck r_0058_0010__discussion->r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck [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_0015__this_r_0058_0016__pointer this pointer r_0058_0017__being_r_0058_0018__to being to r_0058_0015__this_r_0058_0016__pointer->r_0058_0017__being_r_0058_0018__to [inv_arg0] r_0058_0019__things things r_0058_0017__being_r_0058_0018__to->r_0058_0019__things [arg1] r_0058_0020__beginning beginning r_0058_0019__things->r_0058_0020__beginning [inv_arg0] r_0058_0022__Q Q r_0058_0020__beginning->r_0058_0022__Q with z_0058_5010 z_0058_5010->r_0058_0010__discussion [arg0] z_0058_5010->r_0058_0015__this_r_0058_0016__pointer [prd] 
fof(formula,axiom,
    ? [R_0058_0003__FOR_EXAMPLE,R_0058_0005__TOM_R_0058_0006__VAN_R_0058_0007__VLECK,R_0058_0009__ENCYCLOPEDIC,R_0058_0012__MULTICS_R_0058_0013__THINGS,R_0058_0010__DISCUSSION,Z_0058_5002,R_0058_0001__SEE,R_0058_0022__Q,R_0058_0020__BEGINNING,R_0058_0019__THINGS,R_0058_0017__BEING_R_0058_0018__TO,R_0058_0015__THIS_R_0058_0016__POINTER,Z_0058_5010] :
      ( r_0058_0003__for_example(R_0058_0003__FOR_EXAMPLE)
      & r_0058_0005__Tom_r_0058_0006__Van_r_0058_0007__Vleck(R_0058_0005__TOM_R_0058_0006__VAN_R_0058_0007__VLECK)
      & 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_0022__Q(R_0058_0022__Q)
      & z_0058_5002(Z_0058_5002)
      & z_0058_5010(Z_0058_5010)
      & has_prd(Z_0058_5010,R_0058_0015__THIS_R_0058_0016__POINTER)
      & r_0058_0015__this_r_0058_0016__pointer(R_0058_0015__THIS_R_0058_0016__POINTER)
      & has_inv_arg0(R_0058_0015__THIS_R_0058_0016__POINTER,R_0058_0017__BEING_R_0058_0018__TO)
      & r_0058_0017__being_r_0058_0018__to(R_0058_0017__BEING_R_0058_0018__TO)
      & has_arg1(R_0058_0017__BEING_R_0058_0018__TO,R_0058_0019__THINGS)
      & r_0058_0019__things(R_0058_0019__THINGS)
      & has_inv_arg0(R_0058_0019__THINGS,R_0058_0020__BEGINNING)
      & r_0058_0020__beginning(R_0058_0020__BEGINNING)
      & has_r_0058_0021__with(R_0058_0020__BEGINNING,R_0058_0022__Q)
      & has_arg0(Z_0058_5010,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_attrib(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_0001__See(R_0058_0001__SEE)
      & has_arg0(R_0058_0001__SEE,Z_0058_5002)
      & has_arg1(R_0058_0001__SEE,R_0058_0010__DISCUSSION)
      & has_nim(R_0058_0001__SEE,R_0058_0003__FOR_EXAMPLE) ) ).