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 0058_0001__See See 0058_0003__for_example for_example 0058_0001__See->0058_0003__for_example [nim] 0058_0010__discussion discussion 0058_0001__See->0058_0010__discussion [arg1] 0058_5002 0058_0001__See->0058_5002 [arg0] 0058_0005__Tom_6__Van_7__Vleck Tom_Van_Vleck 0058_0010__discussion->0058_0005__Tom_6__Van_7__Vleck [gen] 0058_0009__encyclopedic encyclopedic 0058_0010__discussion->0058_0009__encyclopedic [attrib] 0058_0012__Multics_13__things Multics_things 0058_0010__discussion->0058_0012__Multics_13__things of 0058_0017__being_18__to being_to 0058_0015__this_16__pointer this_pointer 0058_0017__being_18__to->0058_0015__this_16__pointer [inv][arg0] 0058_0019__things things 0058_0017__being_18__to->0058_0019__things [arg1] 0058_0020__beginning beginning 0058_0020__beginning->0058_0019__things [inv][arg0] 0058_0022__Q Q 0058_0020__beginning->0058_0022__Q with 0058_5010 0058_5010->0058_0010__discussion [arg0] 0058_5010->0058_0015__this_16__pointer [prd] 
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).

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