Context                Previous, Next                Top


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

0057_0001__See see 0057_0003__foexample for_example 0057_0001__See->0057_0003__foexample [nim] 0057_0010__discussion discussion 0057_0001__See->0057_0010__discussion [arg1] z_0057_5002 _ 0057_0001__See->z_0057_5002 [arg0] 0057_0005__Tom_0057_0006__Van_0057_0007__Vleck tom_van_vleck 0057_0010__discussion->0057_0005__Tom_0057_0006__Van_0057_0007__Vleck [gen] 0057_0009__encyclopedic encyclopedic 0057_0010__discussion->0057_0009__encyclopedic [attrib] 0057_0012__Multics_0057_0013__things multics_things 0057_0010__discussion->0057_0012__Multics_0057_0013__things of 0057_0017__being_0057_0018__to being_to 0057_0015__this_0057_0016__pointer this_pointer 0057_0017__being_0057_0018__to->0057_0015__this_0057_0016__pointer [arg0] 0057_0019__things things 0057_0017__being_0057_0018__to->0057_0019__things [arg1] 0057_0020__beginning beginning 0057_0020__beginning->0057_0019__things [arg0] 0057_0022__Q q 0057_0020__beginning->0057_0022__Q with z_0057_5010 _ z_0057_5010->0057_0010__discussion [arg0] z_0057_5010->0057_0015__this_0057_0016__pointer [prd] 
arc(r_0057_0001__See,r_0057_0003__for_example,nim).
arc(r_0057_0001__See,r_0057_0010__discussion,arg1).
arc(r_0057_0001__See,z_0057_5002,arg0).
arc(r_0057_0010__discussion,r_0057_0005__Tom_r_0057_0006__Van_r_0057_0007__Vleck,gen).
arc(r_0057_0010__discussion,r_0057_0009__encyclopedic,attrib).
arc(r_0057_0010__discussion,r_0057_0012__Multics_r_0057_0013__things,r_0057_0011__of).
arc(r_0057_0017__being_r_0057_0018__to,r_0057_0015__this_r_0057_0016__pointer,arg0).
arc(r_0057_0017__being_r_0057_0018__to,r_0057_0019__things,arg1).
arc(r_0057_0020__beginning,r_0057_0019__things,arg0).
arc(r_0057_0020__beginning,r_0057_0022__Q,r_0057_0021__with).
arc(z_0057_5010,r_0057_0010__discussion,arg0).
arc(z_0057_5010,r_0057_0015__this_r_0057_0016__pointer,prd).

IP-IMP VB See PUNC , ADVP-NIM ADV for_example PUNC , NP-OB1 NP-GEN NPR Tom NPR Van NPR Vleck GENM 's ADJP ADJ encyclopedic N discussion PP P-ROLE of NP NPR Multics NS things PULB -LRB- PRN NP D this N pointer IP-PPL BAG;~Ipr being PP-CLR P-ROLE to NP NS things IP-PPL VAG beginning PP P-ROLE with NP NPR Q PURB -RRB- PUNC . 
( (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 57_a_history_of_qed))