( (IP-MAT (ILYR (ILYR (NP-SBJ;{MULTICS_QED} (D This;{this})
                                            (NUM one;{one}))
                      (BED;_Ipr_ was;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (NPR BCPL;{BCPL}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN instead_of;{instead_of})
                                      (IP-PPL2 (VAG;__ compiling;{compile})
                                               (PP-NIM (P-ROLE to;{to})
                                                       (NP (N machine;{machine})
                                                           (N code;{code})))))
                             (PUNC ,)
                             (NP-SBJ (ADJP (ADJ regular;{regular}))
                                     (NS expressions;{expression}))
                             (BED;_cat_VePASS_ were;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;__ represented;{represent})
                                         (PP-PRD (P-ROLE as;{as})
                                                 (NP (NS trees;{tree})
                                                     (IP-REL (C that;{that})
                                                             (NP-SBJ *T*)
                                                             (BED;_cat_VePASS_ were;{be})
                                                             (IP-PPL-CAT (NP-LGS *)
                                                                         (VVN;__ interpreted;{interpret})
                                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                 (NP (D the;{the})
                                                                                     (N editor;{editor})))))))))))
          (PUNC .))
  (ID 16_a_history_of_qed))

arc(r_0016_0003__was_r_0016_0004__in,r_0016_0001__This_r_0016_0002__one,arg0).
arc(r_0016_0003__was_r_0016_0004__in,r_0016_0005__BCPL,arg1).
arc(r_0016_0007__and,r_0016_0003__was_r_0016_0004__in,conj1).
arc(r_0016_0007__and,r_0016_0008__instead_of,conj2).
arc(r_0016_0008__instead_of,r_0016_0009__compiling,restriction).
arc(r_0016_0008__instead_of,r_0016_0016__were,scope).
arc(r_0016_0009__compiling,r_0016_0011__machine_r_0016_0012__code,r_0016_0010__to__nim).
arc(r_0016_0009__compiling,r_0016_0015__expressions,arg0).
arc(r_0016_0015__expressions,r_0016_0014__regular,attrib).
arc(r_0016_0016__were,r_0016_0017__represented,scope).
arc(r_0016_0017__represented,r_0016_0015__expressions,arg1).
arc(r_0016_0017__represented,r_0016_0019__trees,r_0016_0018__as__prd).
arc(r_0016_0017__represented,z_0016_5017___star_,arg0).
arc(r_0016_0021__were,r_0016_0022__interpreted,scope).
arc(r_0016_0022__interpreted,r_0016_0019__trees,inv_arg1).
arc(r_0016_0022__interpreted,r_0016_0024__the_r_0016_0025__editor,r_0016_0023__by_lgs).
arc(r_0016_0022__interpreted,z_0016_5014___star_,arg0).

fof(formula,axiom,
    ? [R_0016_0001__THIS_R_0016_0002__ONE,R_0016_0005__BCPL,R_0016_0003__WAS_R_0016_0004__IN,R_0016_0011__MACHINE_R_0016_0012__CODE,R_0016_0014__REGULAR,R_0016_0015__EXPRESSIONS,R_0016_0009__COMPILING,R_0016_0024__THE_R_0016_0025__EDITOR,Z_0016_5014___STAR_,R_0016_0021__WERE_R_0016_0022__INTERPRETED,R_0016_0019__TREES,Z_0016_5017___STAR_,R_0016_0016__WERE_R_0016_0017__REPRESENTED,R_0016_0008__INSTEAD_OF,R_0016_0007__AND] :
      ( r_0016_0001__This_r_0016_0002__one(R_0016_0001__THIS_R_0016_0002__ONE)
      & r_0016_0005__BCPL(R_0016_0005__BCPL)
      & r_0016_0011__machine_r_0016_0012__code(R_0016_0011__MACHINE_R_0016_0012__CODE)
      & r_0016_0014__regular(R_0016_0014__REGULAR)
      & r_0016_0024__the_r_0016_0025__editor(R_0016_0024__THE_R_0016_0025__EDITOR)
      & z_0016_5014___star_(Z_0016_5014___STAR_)
      & z_0016_5017___star_(Z_0016_5017___STAR_)
      & r_0016_0007__and(R_0016_0007__AND)
      & has_conj2(R_0016_0007__AND,R_0016_0008__INSTEAD_OF)
      & r_0016_0008__instead_of(R_0016_0008__INSTEAD_OF)
      & has_conj2(R_0016_0008__INSTEAD_OF,R_0016_0016__WERE_R_0016_0017__REPRESENTED)
      & r_0016_0016__were_r_0016_0017__represented(R_0016_0016__WERE_R_0016_0017__REPRESENTED)
      & has_arg0(R_0016_0016__WERE_R_0016_0017__REPRESENTED,Z_0016_5017___STAR_)
      & has_r_0016_0018__as__prd(R_0016_0016__WERE_R_0016_0017__REPRESENTED,R_0016_0019__TREES)
      & r_0016_0019__trees(R_0016_0019__TREES)
      & has_inv_arg1(R_0016_0019__TREES,R_0016_0021__WERE_R_0016_0022__INTERPRETED)
      & r_0016_0021__were_r_0016_0022__interpreted(R_0016_0021__WERE_R_0016_0022__INTERPRETED)
      & has_arg0(R_0016_0021__WERE_R_0016_0022__INTERPRETED,Z_0016_5014___STAR_)
      & has_r_0016_0023__by_lgs(R_0016_0021__WERE_R_0016_0022__INTERPRETED,R_0016_0024__THE_R_0016_0025__EDITOR)
      & has_arg1(R_0016_0016__WERE_R_0016_0017__REPRESENTED,R_0016_0015__EXPRESSIONS)
      & r_0016_0015__expressions(R_0016_0015__EXPRESSIONS)
      & has_attrib(R_0016_0015__EXPRESSIONS,R_0016_0014__REGULAR)
      & has_conj1(R_0016_0008__INSTEAD_OF,R_0016_0009__COMPILING)
      & r_0016_0009__compiling(R_0016_0009__COMPILING)
      & has_arg0(R_0016_0009__COMPILING,R_0016_0015__EXPRESSIONS)
      & has_r_0016_0010__to__nim(R_0016_0009__COMPILING,R_0016_0011__MACHINE_R_0016_0012__CODE)
      & has_conj1(R_0016_0007__AND,R_0016_0003__WAS_R_0016_0004__IN)
      & r_0016_0003__was_r_0016_0004__in(R_0016_0003__WAS_R_0016_0004__IN)
      & has_arg1(R_0016_0003__WAS_R_0016_0004__IN,R_0016_0005__BCPL)
      & has_arg0(R_0016_0003__WAS_R_0016_0004__IN,R_0016_0001__THIS_R_0016_0002__ONE) ) ).