arc(r_0012_0001__While_cnt,r_0012_0005__was,restriction_).
arc(r_0012_0001__While_cnt,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,prd2).
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,prd2).
arc(r_0012_0016__oriented,r_0012_0014__line,modifier).

( (IP-MAT (PP-SCON-CNT (P-CONN While;{while})
                       (IP-ADV (NP-SBJ;{BERKELEY_QED} (D the;{the})
                                                      (NPR Berkeley;{Berkeley})
                                                      (NPR QED;{QED}))
                               (BED;~La was;{be})
                               (ADJP-PRD2 (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-PRD2 (NP (N line;{line}))
                     (PUNC -)
                     (ADJ oriented;{oriented}))
          (PUNC .))
  (ID 12_a_history_of_qed))