arc(r_0019_0002__was, r_0019_0001__Unix, arg0).
arc(r_0019_0002__was, r_0019_0004__first, r_0019_0003__at_nim12).
arc(r_0019_0002__was, r_0019_0006__and, prd).
arc(r_0019_0006__and, r_0019_0005__nonexistent, conj1).
arc(r_0019_0006__and, r_0019_0008__embryonic, conj2).
arc(r_0019_0008__embryonic, r_0019_0007__then, qual24).
arc(r_0019_0010__and, r_0019_0002__was, conj1).
arc(r_0019_0010__and, r_0019_0015__was, conj2).
arc(r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource, r_0019_0012__main, attrib38).
arc(r_0019_0015__was, r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource, arg0).
arc(r_0019_0015__was, r_0019_0016__GE_r_0019_0018__TSS, arg1).
arc(r_0019_0024__sharing, r_0019_0022__time, nim64).
arc(r_0019_0025__system, r_0019_0020__GE_r_0019_0021___apos_s, gen).
arc(r_0019_0025__system, r_0019_0024__sharing, attrib63).
arc(r_0019_0025__system, r_0019_0027__GECOS, r_0019_0026__for).
arc(z_000_19_a_history_of_qed_56, r_0019_0016__GE_r_0019_0018__TSS, arg0).
arc(z_000_19_a_history_of_qed_56, r_0019_0025__system, prd).

fof(formula,axiom,
    ? [R_0019_0001__UNIX,R_0019_0004__FIRST,R_0019_0005__NONEXISTENT,R_0019_0007__THEN,R_0019_0008__EMBRYONIC,R_0019_0006__AND,R_0019_0002__WAS,R_0019_0012__MAIN,R_0019_0011__THE_R_0019_0013__COMPUTATION_R_0019_0014__RESOURCE,R_0019_0016__GE_R_0019_0018__TSS,R_0019_0015__WAS,R_0019_0010__AND,R_0019_0020__GE_R_0019_0021___APOS_S,R_0019_0022__TIME,R_0019_0024__SHARING,R_0019_0027__GECOS,R_0019_0025__SYSTEM,Z_000_19_A_HISTORY_OF_QED_56] :
      ( r_0019_0001__Unix(R_0019_0001__UNIX)
      & r_0019_0004__first(R_0019_0004__FIRST)
      & r_0019_0005__nonexistent(R_0019_0005__NONEXISTENT)
      & r_0019_0007__then(R_0019_0007__THEN)
      & r_0019_0012__main(R_0019_0012__MAIN)
      & r_0019_0016__GE_r_0019_0018__TSS(R_0019_0016__GE_R_0019_0018__TSS)
      & r_0019_0020__GE_r_0019_0021___apos_s(R_0019_0020__GE_R_0019_0021___APOS_S)
      & r_0019_0022__time(R_0019_0022__TIME)
      & r_0019_0027__GECOS(R_0019_0027__GECOS)
      & z_000_19_a_history_of_qed_56(Z_000_19_A_HISTORY_OF_QED_56)
      & has_prd(Z_000_19_A_HISTORY_OF_QED_56,R_0019_0025__SYSTEM)
      & r_0019_0025__system(R_0019_0025__SYSTEM)
      & has_r_0019_0026__for(R_0019_0025__SYSTEM,R_0019_0027__GECOS)
      & has_attrib63(R_0019_0025__SYSTEM,R_0019_0024__SHARING)
      & r_0019_0024__sharing(R_0019_0024__SHARING)
      & has_nim64(R_0019_0024__SHARING,R_0019_0022__TIME)
      & has_gen(R_0019_0025__SYSTEM,R_0019_0020__GE_R_0019_0021___APOS_S)
      & has_arg0(Z_000_19_A_HISTORY_OF_QED_56,R_0019_0016__GE_R_0019_0018__TSS)
      & r_0019_0010__and(R_0019_0010__AND)
      & has_conj2(R_0019_0010__AND,R_0019_0015__WAS)
      & r_0019_0015__was(R_0019_0015__WAS)
      & has_arg1(R_0019_0015__WAS,R_0019_0016__GE_R_0019_0018__TSS)
      & has_arg0(R_0019_0015__WAS,R_0019_0011__THE_R_0019_0013__COMPUTATION_R_0019_0014__RESOURCE)
      & r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource(R_0019_0011__THE_R_0019_0013__COMPUTATION_R_0019_0014__RESOURCE)
      & has_attrib38(R_0019_0011__THE_R_0019_0013__COMPUTATION_R_0019_0014__RESOURCE,R_0019_0012__MAIN)
      & has_conj1(R_0019_0010__AND,R_0019_0002__WAS)
      & r_0019_0002__was(R_0019_0002__WAS)
      & has_prd(R_0019_0002__WAS,R_0019_0006__AND)
      & r_0019_0006__and(R_0019_0006__AND)
      & has_conj2(R_0019_0006__AND,R_0019_0008__EMBRYONIC)
      & r_0019_0008__embryonic(R_0019_0008__EMBRYONIC)
      & has_qual24(R_0019_0008__EMBRYONIC,R_0019_0007__THEN)
      & has_conj1(R_0019_0006__AND,R_0019_0005__NONEXISTENT)
      & has_r_0019_0003__at_nim12(R_0019_0002__WAS,R_0019_0004__FIRST)
      & has_arg0(R_0019_0002__WAS,R_0019_0001__UNIX) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR Unix;{Unix}))
                      (BED;_La_ was;{be})
                      (PP-NIM (P-ROLE at;{at})
                              (ADVP (ADJ first;{first})))
                      (ADJP-PRD (AJLYR (AJLYR (ADJ nonexistent;{nonexistent}))
                                       (CONJP (CONJ and;{and})
                                              (AJLYR (ADVP (ADV then;{then}))
                                                     (ADJ embryonic;{embryonic}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (ADJP (ADJ main;{main}))
                                     (N computation;{computation})
                                     (N resource;{resource}))
                             (BED;_equ_Vn_ was;{be})
                             (NP-OB1 (NPR GE;{GE})
                                     (PUNC <hyphen>)
                                     (NPR TSS;{TSS})
                                     (PUNC ,)
                                     (IP-PPL (NP-PRD;{GE_SYSTEM} (NP-GEN (NPR GE;{GE})
                                                                         (GENM <apos>s))
                                                                 (ADJP (NP (N time;{time}))
                                                                       (PUNC <hyphen>)
                                                                       (VAG;__ sharing;{share}))
                                                                 (N system;{system})
                                                                 (PP (P-ROLE for;{for})
                                                                     (NP (NPR GECOS;{GECOS})))))))))
          (PUNC .))
  (ID 19_a_history_of_qed))