arc(r_0012_0001__While,r_0012_0005__was,restriction).
arc(r_0012_0001__While,r_0012_0013__was,scope).
arc(r_0012_0005__was,r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED,arg0).
arc(r_0012_0005__was,r_0012_0008__oriented,prd).
arc(r_0012_0008__oriented,r_0012_0006__character,modifier).
arc(r_0012_0013__was,r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version,arg0).
arc(r_0012_0013__was,r_0012_0016__oriented,prd).
arc(r_0012_0016__oriented,r_0012_0014__line,modifier).

( (IP-MAT (PP-SCON (P-CONN While;{while})
                   (IP-ADV (NP-SBJ;{BERKELEY_QED} (D the;{the})
                                                  (NPR Berkeley;{Berkeley})
                                                  (NPR QED;{QED}))
                           (BED;~La was;{be})
                           (ADJP-PRD (NP (N character;{character}))
                                     (PUNC -)
                                     (ADJ oriented;{oriented}))))
          (PUNC ,)
          (NP-SBJ;{CTSS_QED} (D the;{the})
                             (NPR CTSS;{CTSS})
                             (N version;{version}))
          (BED;~La was;{be})
          (ADJP-PRD (NP (N line;{line}))
                    (PUNC -)
                    (ADJ oriented;{oriented}))
          (PUNC .))
  (ID 12_a_history_of_qed))