arc(r_0016_0003__was, r_0016_0001__This_r_0016_0002__one, arg0).
arc(r_0016_0003__was, r_0016_0005__BCPL, r_0016_0004__in_clr14).
arc(r_0016_0007__and, r_0016_0003__was, 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_nim32).
arc(r_0016_0009__compiling, r_0016_0015__expressions, arg0).
arc(r_0016_0015__expressions, r_0016_0014__regular, attrib40).
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, prd).
arc(r_0016_0017__represented, z_000_16_a_history_of_qed_48, arg0).
arc(r_0016_0020__that_r_0016_0021__were, r_0016_0022__interpreted, scope).
arc(r_0016_0022__interpreted, r_0016_0019__trees, arg1).
arc(r_0016_0022__interpreted, r_0016_0024__the_r_0016_0025__editor, arg0).
arc(r_0016_0022__interpreted, r_0016_0024__the_r_0016_0025__editor, lgs).

fof(formula,axiom,
    ? [R_0016_0001__THIS_R_0016_0002__ONE,R_0016_0005__BCPL,R_0016_0003__WAS,R_0016_0011__MACHINE_R_0016_0012__CODE,R_0016_0014__REGULAR,R_0016_0015__EXPRESSIONS,R_0016_0009__COMPILING,R_0016_0019__TREES,Z_000_16_A_HISTORY_OF_QED_48,R_0016_0016__WERE_R_0016_0017__REPRESENTED,R_0016_0008__INSTEAD_OF,R_0016_0007__AND,R_0016_0024__THE_R_0016_0025__EDITOR,R_0016_0020__THAT_R_0016_0021__WERE_R_0016_0022__INTERPRETED] :
      ( 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_0019__trees(R_0016_0019__TREES)
      & r_0016_0024__the_r_0016_0025__editor(R_0016_0024__THE_R_0016_0025__EDITOR)
      & z_000_16_a_history_of_qed_48(Z_000_16_A_HISTORY_OF_QED_48)
      & r_0016_0020__that_r_0016_0021__were_r_0016_0022__interpreted(R_0016_0020__THAT_R_0016_0021__WERE_R_0016_0022__INTERPRETED)
      & has_lgs(R_0016_0020__THAT_R_0016_0021__WERE_R_0016_0022__INTERPRETED,R_0016_0024__THE_R_0016_0025__EDITOR)
      & has_arg0(R_0016_0020__THAT_R_0016_0021__WERE_R_0016_0022__INTERPRETED,R_0016_0024__THE_R_0016_0025__EDITOR)
      & has_arg1(R_0016_0020__THAT_R_0016_0021__WERE_R_0016_0022__INTERPRETED,R_0016_0019__TREES)
      & 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_000_16_A_HISTORY_OF_QED_48)
      & has_prd(R_0016_0016__WERE_R_0016_0017__REPRESENTED,R_0016_0019__TREES)
      & has_arg1(R_0016_0016__WERE_R_0016_0017__REPRESENTED,R_0016_0015__EXPRESSIONS)
      & r_0016_0015__expressions(R_0016_0015__EXPRESSIONS)
      & has_attrib40(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_nim32(R_0016_0009__COMPILING,R_0016_0011__MACHINE_R_0016_0012__CODE)
      & has_conj1(R_0016_0007__AND,R_0016_0003__WAS)
      & r_0016_0003__was(R_0016_0003__WAS)
      & has_r_0016_0004__in_clr14(R_0016_0003__WAS,R_0016_0005__BCPL)
      & has_arg0(R_0016_0003__WAS,R_0016_0001__THIS_R_0016_0002__ONE) ) ).

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