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

%3 0057_0003__foexample_0057_0001__See for_example_see 0057_0010__discussion discussion 0057_0003__foexample_0057_0001__See->0057_0010__discussion [arg1] 0057_0005__Tom_0057_0006__Van_0057_0007__Vleck tom_van_vleck 0057_0010__discussion->0057_0005__Tom_0057_0006__Van_0057_0007__Vleck [genv] 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_0015__this_0057_0016__pointer this_pointer 0057_0015__this_0057_0016__pointer->0057_0010__discussion [prn] 0057_0017__being being 0057_0017__being->0057_0015__this_0057_0016__pointer [arg0] 0057_0019__things things 0057_0017__being->0057_0019__things to[clr][prd2] 0057_0020__beginning beginning 0057_0020__beginning->0057_0019__things [arg0] 0057_0022__Q q 0057_0020__beginning->0057_0022__Q with z_0057_1002 [imperative] z_0057_1002->0057_0003__foexample_0057_0001__See [scope] 
arc(r_0057_0003__for_example_r_0057_0001__See,r_0057_0010__discussion,arg1).
arc(r_0057_0010__discussion,r_0057_0005__Tom_r_0057_0006__Van_r_0057_0007__Vleck,genv).
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_0015__this_r_0057_0016__pointer,r_0057_0010__discussion,prn).
arc(r_0057_0017__being,r_0057_0015__this_r_0057_0016__pointer,arg0).
arc(r_0057_0017__being,r_0057_0019__things,r_0057_0018__to__clr_prd2).
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_1002__imperative,r_0057_0003__for_example_r_0057_0001__See,keep_scope).

IP-IMP VB See PUNC , ADVP-MOD ADV for_example PUNC , NP-OB1 NP-GENV 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-PRD2 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-MOD (ADV for_example;{for_example}))
          (PUNC ,)
          (NP-OB1 (NP-GENV (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-PRD2 (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))