Context                Previous, Next                Top


19_a_history_of_qed
Unix was at first nonexistent and then embryonic, and the main computation resource was GE - TSS, GE's time - sharing system for GECOS.

n19_a_history_of_qed n19_a_history_of_qed__1_1_1_1_1_1 Unix n19_a_history_of_qed__1_1_1_2_1 was n19_a_history_of_qed__1_1_1_3_1_1 at n19_a_history_of_qed__1_1_1_3_2_1_1 first n19_a_history_of_qed__1_1_1_4_1_1_1_1 nonexistent n19_a_history_of_qed__1_1_1_4_1_2_1_1 and n19_a_history_of_qed__1_1_1_4_1_2_2_1_1_1 then n19_a_history_of_qed__1_1_1_4_1_2_2_2_1 embryonic n19_a_history_of_qed__1_1_2_1 , n19_a_history_of_qed__1_1_3_1_1 and n19_a_history_of_qed__1_1_3_2_1_1_1 the n19_a_history_of_qed__1_1_3_2_1_2_1_1 main n19_a_history_of_qed__1_1_3_2_1_3_1 computation n19_a_history_of_qed__1_1_3_2_1_4_1 resource n19_a_history_of_qed__1_1_3_2_2_1 was n19_a_history_of_qed__1_1_3_2_3_1_1 GE n19_a_history_of_qed__1_1_3_2_3_2_1 - n19_a_history_of_qed__1_1_3_2_3_3_1 TSS n19_a_history_of_qed__1_1_3_2_3_4_1 , n19_a_history_of_qed__1_1_3_2_3_5_1_1_1_1 GE n19_a_history_of_qed__1_1_3_2_3_5_1_1_2_1 's n19_a_history_of_qed__1_1_3_2_3_5_1_2_1_1_1 time n19_a_history_of_qed__1_1_3_2_3_5_1_2_2_1 - n19_a_history_of_qed__1_1_3_2_3_5_1_2_3_1 sharing n19_a_history_of_qed__1_1_3_2_3_5_1_3_1 system n19_a_history_of_qed__1_1_3_2_3_5_1_4_1_1 for n19_a_history_of_qed__1_1_3_2_3_5_1_4_2_1_1 GECOS n19_a_history_of_qed__1_2_1 . n19_a_history_of_qed__1 IP-MAT n19_a_history_of_qed__1_1 ILYR n19_a_history_of_qed__1->n19_a_history_of_qed__1_1 n19_a_history_of_qed__1_2 PUNC n19_a_history_of_qed__1->n19_a_history_of_qed__1_2 n19_a_history_of_qed__1_1_1 ILYR n19_a_history_of_qed__1_1->n19_a_history_of_qed__1_1_1 n19_a_history_of_qed__1_1_2 PUNC n19_a_history_of_qed__1_1->n19_a_history_of_qed__1_1_2 n19_a_history_of_qed__1_1_3 CONJP n19_a_history_of_qed__1_1->n19_a_history_of_qed__1_1_3 n19_a_history_of_qed__1_1_1_1 NP-SBJ n19_a_history_of_qed__1_1_1->n19_a_history_of_qed__1_1_1_1 n19_a_history_of_qed__1_1_1_2 BED;_La_ n19_a_history_of_qed__1_1_1->n19_a_history_of_qed__1_1_1_2 n19_a_history_of_qed__1_1_1_3 PP-NIM n19_a_history_of_qed__1_1_1->n19_a_history_of_qed__1_1_1_3 n19_a_history_of_qed__1_1_1_4 ADJP-PRD n19_a_history_of_qed__1_1_1->n19_a_history_of_qed__1_1_1_4 n19_a_history_of_qed__1_1_1_1_1 NPR n19_a_history_of_qed__1_1_1_1->n19_a_history_of_qed__1_1_1_1_1 n19_a_history_of_qed__1_1_1_1_1->n19_a_history_of_qed__1_1_1_1_1_1 n19_a_history_of_qed__1_1_1_2->n19_a_history_of_qed__1_1_1_2_1 n19_a_history_of_qed__1_1_1_3_1 P-ROLE n19_a_history_of_qed__1_1_1_3->n19_a_history_of_qed__1_1_1_3_1 n19_a_history_of_qed__1_1_1_3_2 ADVP n19_a_history_of_qed__1_1_1_3->n19_a_history_of_qed__1_1_1_3_2 n19_a_history_of_qed__1_1_1_3_1->n19_a_history_of_qed__1_1_1_3_1_1 n19_a_history_of_qed__1_1_1_3_2_1 ADJ n19_a_history_of_qed__1_1_1_3_2->n19_a_history_of_qed__1_1_1_3_2_1 n19_a_history_of_qed__1_1_1_3_2_1->n19_a_history_of_qed__1_1_1_3_2_1_1 n19_a_history_of_qed__1_1_1_4_1 AJLYR n19_a_history_of_qed__1_1_1_4->n19_a_history_of_qed__1_1_1_4_1 n19_a_history_of_qed__1_1_1_4_1_1 AJLYR n19_a_history_of_qed__1_1_1_4_1->n19_a_history_of_qed__1_1_1_4_1_1 n19_a_history_of_qed__1_1_1_4_1_2 CONJP n19_a_history_of_qed__1_1_1_4_1->n19_a_history_of_qed__1_1_1_4_1_2 n19_a_history_of_qed__1_1_1_4_1_1_1 ADJ n19_a_history_of_qed__1_1_1_4_1_1->n19_a_history_of_qed__1_1_1_4_1_1_1 n19_a_history_of_qed__1_1_1_4_1_1_1->n19_a_history_of_qed__1_1_1_4_1_1_1_1 n19_a_history_of_qed__1_1_1_4_1_2_1 CONJ n19_a_history_of_qed__1_1_1_4_1_2->n19_a_history_of_qed__1_1_1_4_1_2_1 n19_a_history_of_qed__1_1_1_4_1_2_2 AJLYR n19_a_history_of_qed__1_1_1_4_1_2->n19_a_history_of_qed__1_1_1_4_1_2_2 n19_a_history_of_qed__1_1_1_4_1_2_1->n19_a_history_of_qed__1_1_1_4_1_2_1_1 n19_a_history_of_qed__1_1_1_4_1_2_2_1 ADVP n19_a_history_of_qed__1_1_1_4_1_2_2->n19_a_history_of_qed__1_1_1_4_1_2_2_1 n19_a_history_of_qed__1_1_1_4_1_2_2_2 ADJ n19_a_history_of_qed__1_1_1_4_1_2_2->n19_a_history_of_qed__1_1_1_4_1_2_2_2 n19_a_history_of_qed__1_1_1_4_1_2_2_1_1 ADV n19_a_history_of_qed__1_1_1_4_1_2_2_1->n19_a_history_of_qed__1_1_1_4_1_2_2_1_1 n19_a_history_of_qed__1_1_1_4_1_2_2_1_1->n19_a_history_of_qed__1_1_1_4_1_2_2_1_1_1 n19_a_history_of_qed__1_1_1_4_1_2_2_2->n19_a_history_of_qed__1_1_1_4_1_2_2_2_1 n19_a_history_of_qed__1_1_2->n19_a_history_of_qed__1_1_2_1 n19_a_history_of_qed__1_1_3_1 CONJ n19_a_history_of_qed__1_1_3->n19_a_history_of_qed__1_1_3_1 n19_a_history_of_qed__1_1_3_2 ILYR n19_a_history_of_qed__1_1_3->n19_a_history_of_qed__1_1_3_2 n19_a_history_of_qed__1_1_3_1->n19_a_history_of_qed__1_1_3_1_1 n19_a_history_of_qed__1_1_3_2_1 NP-SBJ n19_a_history_of_qed__1_1_3_2->n19_a_history_of_qed__1_1_3_2_1 n19_a_history_of_qed__1_1_3_2_2 BED;_equ_Vn_ n19_a_history_of_qed__1_1_3_2->n19_a_history_of_qed__1_1_3_2_2 n19_a_history_of_qed__1_1_3_2_3 NP-OB1 n19_a_history_of_qed__1_1_3_2->n19_a_history_of_qed__1_1_3_2_3 n19_a_history_of_qed__1_1_3_2_1_1 D n19_a_history_of_qed__1_1_3_2_1->n19_a_history_of_qed__1_1_3_2_1_1 n19_a_history_of_qed__1_1_3_2_1_2 ADJP n19_a_history_of_qed__1_1_3_2_1->n19_a_history_of_qed__1_1_3_2_1_2 n19_a_history_of_qed__1_1_3_2_1_3 N n19_a_history_of_qed__1_1_3_2_1->n19_a_history_of_qed__1_1_3_2_1_3 n19_a_history_of_qed__1_1_3_2_1_4 N n19_a_history_of_qed__1_1_3_2_1->n19_a_history_of_qed__1_1_3_2_1_4 n19_a_history_of_qed__1_1_3_2_1_1->n19_a_history_of_qed__1_1_3_2_1_1_1 n19_a_history_of_qed__1_1_3_2_1_2_1 ADJ n19_a_history_of_qed__1_1_3_2_1_2->n19_a_history_of_qed__1_1_3_2_1_2_1 n19_a_history_of_qed__1_1_3_2_1_2_1->n19_a_history_of_qed__1_1_3_2_1_2_1_1 n19_a_history_of_qed__1_1_3_2_1_3->n19_a_history_of_qed__1_1_3_2_1_3_1 n19_a_history_of_qed__1_1_3_2_1_4->n19_a_history_of_qed__1_1_3_2_1_4_1 n19_a_history_of_qed__1_1_3_2_2->n19_a_history_of_qed__1_1_3_2_2_1 n19_a_history_of_qed__1_1_3_2_3_1 NPR n19_a_history_of_qed__1_1_3_2_3->n19_a_history_of_qed__1_1_3_2_3_1 n19_a_history_of_qed__1_1_3_2_3_2 PUNC n19_a_history_of_qed__1_1_3_2_3->n19_a_history_of_qed__1_1_3_2_3_2 n19_a_history_of_qed__1_1_3_2_3_3 NPR n19_a_history_of_qed__1_1_3_2_3->n19_a_history_of_qed__1_1_3_2_3_3 n19_a_history_of_qed__1_1_3_2_3_4 PUNC n19_a_history_of_qed__1_1_3_2_3->n19_a_history_of_qed__1_1_3_2_3_4 n19_a_history_of_qed__1_1_3_2_3_5 PRN n19_a_history_of_qed__1_1_3_2_3->n19_a_history_of_qed__1_1_3_2_3_5 n19_a_history_of_qed__1_1_3_2_3_1->n19_a_history_of_qed__1_1_3_2_3_1_1 n19_a_history_of_qed__1_1_3_2_3_2->n19_a_history_of_qed__1_1_3_2_3_2_1 n19_a_history_of_qed__1_1_3_2_3_3->n19_a_history_of_qed__1_1_3_2_3_3_1 n19_a_history_of_qed__1_1_3_2_3_4->n19_a_history_of_qed__1_1_3_2_3_4_1 n19_a_history_of_qed__1_1_3_2_3_5_1 NP n19_a_history_of_qed__1_1_3_2_3_5->n19_a_history_of_qed__1_1_3_2_3_5_1 n19_a_history_of_qed__1_1_3_2_3_5_1_1 NP-GEN n19_a_history_of_qed__1_1_3_2_3_5_1->n19_a_history_of_qed__1_1_3_2_3_5_1_1 n19_a_history_of_qed__1_1_3_2_3_5_1_2 ADJP n19_a_history_of_qed__1_1_3_2_3_5_1->n19_a_history_of_qed__1_1_3_2_3_5_1_2 n19_a_history_of_qed__1_1_3_2_3_5_1_3 N n19_a_history_of_qed__1_1_3_2_3_5_1->n19_a_history_of_qed__1_1_3_2_3_5_1_3 n19_a_history_of_qed__1_1_3_2_3_5_1_4 PP n19_a_history_of_qed__1_1_3_2_3_5_1->n19_a_history_of_qed__1_1_3_2_3_5_1_4 n19_a_history_of_qed__1_1_3_2_3_5_1_1_1 NPR n19_a_history_of_qed__1_1_3_2_3_5_1_1->n19_a_history_of_qed__1_1_3_2_3_5_1_1_1 n19_a_history_of_qed__1_1_3_2_3_5_1_1_2 GENM n19_a_history_of_qed__1_1_3_2_3_5_1_1->n19_a_history_of_qed__1_1_3_2_3_5_1_1_2 n19_a_history_of_qed__1_1_3_2_3_5_1_1_1->n19_a_history_of_qed__1_1_3_2_3_5_1_1_1_1 n19_a_history_of_qed__1_1_3_2_3_5_1_1_2->n19_a_history_of_qed__1_1_3_2_3_5_1_1_2_1 n19_a_history_of_qed__1_1_3_2_3_5_1_2_1 NP n19_a_history_of_qed__1_1_3_2_3_5_1_2->n19_a_history_of_qed__1_1_3_2_3_5_1_2_1 n19_a_history_of_qed__1_1_3_2_3_5_1_2_2 PUNC n19_a_history_of_qed__1_1_3_2_3_5_1_2->n19_a_history_of_qed__1_1_3_2_3_5_1_2_2 n19_a_history_of_qed__1_1_3_2_3_5_1_2_3 VAG;__ n19_a_history_of_qed__1_1_3_2_3_5_1_2->n19_a_history_of_qed__1_1_3_2_3_5_1_2_3 n19_a_history_of_qed__1_1_3_2_3_5_1_2_1_1 N n19_a_history_of_qed__1_1_3_2_3_5_1_2_1->n19_a_history_of_qed__1_1_3_2_3_5_1_2_1_1 n19_a_history_of_qed__1_1_3_2_3_5_1_2_1_1->n19_a_history_of_qed__1_1_3_2_3_5_1_2_1_1_1 n19_a_history_of_qed__1_1_3_2_3_5_1_2_2->n19_a_history_of_qed__1_1_3_2_3_5_1_2_2_1 n19_a_history_of_qed__1_1_3_2_3_5_1_2_3->n19_a_history_of_qed__1_1_3_2_3_5_1_2_3_1 n19_a_history_of_qed__1_1_3_2_3_5_1_3->n19_a_history_of_qed__1_1_3_2_3_5_1_3_1 n19_a_history_of_qed__1_1_3_2_3_5_1_4_1 P-ROLE n19_a_history_of_qed__1_1_3_2_3_5_1_4->n19_a_history_of_qed__1_1_3_2_3_5_1_4_1 n19_a_history_of_qed__1_1_3_2_3_5_1_4_2 NP n19_a_history_of_qed__1_1_3_2_3_5_1_4->n19_a_history_of_qed__1_1_3_2_3_5_1_4_2 n19_a_history_of_qed__1_1_3_2_3_5_1_4_1->n19_a_history_of_qed__1_1_3_2_3_5_1_4_1_1 n19_a_history_of_qed__1_1_3_2_3_5_1_4_2_1 NPR n19_a_history_of_qed__1_1_3_2_3_5_1_4_2->n19_a_history_of_qed__1_1_3_2_3_5_1_4_2_1 n19_a_history_of_qed__1_1_3_2_3_5_1_4_2_1->n19_a_history_of_qed__1_1_3_2_3_5_1_4_2_1_1 n19_a_history_of_qed__1_2->n19_a_history_of_qed__1_2_1 
( (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 ,)
                                     (PRN (NP;{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))


%3 z_0019_5014 r_0019_0025__system system z_0019_5014->r_0019_0025__system [prd] r_0019_0016__GE_r_0019_0018__TSS GE TSS z_0019_5014->r_0019_0016__GE_r_0019_0018__TSS [arg0] z_0019_5013 r_0019_0025__system->z_0019_5013 [attrib] r_0019_0027__GECOS GECOS r_0019_0025__system->r_0019_0027__GECOS for r_0019_0020__GE GE r_0019_0025__system->r_0019_0020__GE [gen] r_0019_0022__time time z_0019_5013->r_0019_0022__time [nim] r_0019_0015__was was r_0019_0015__was->r_0019_0016__GE_r_0019_0018__TSS [arg1] r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource the computation resource r_0019_0015__was->r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource [arg0] r_0019_0012__main main r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource->r_0019_0012__main [attrib] r_0019_0010__and and r_0019_0010__and->r_0019_0015__was [conj2] r_0019_0002__was was r_0019_0010__and->r_0019_0002__was [conj1] r_0019_0006__and and r_0019_0002__was->r_0019_0006__and [prd] z_0019_5006 r_0019_0002__was->z_0019_5006 at [nim] r_0019_0001__Unix Unix r_0019_0002__was->r_0019_0001__Unix [arg0] r_0019_0008__embryonic embryonic r_0019_0007__then then r_0019_0008__embryonic->r_0019_0007__then [qual] r_0019_0006__and->r_0019_0008__embryonic [conj2] r_0019_0005__nonexistent nonexistent r_0019_0006__and->r_0019_0005__nonexistent [conj1] 
arc(r_0019_0002__was,r_0019_0001__Unix,arg0).
arc(r_0019_0002__was,r_0019_0006__and,prd).
arc(r_0019_0002__was,z_0019_5006,r_0019_0003__at__nim).
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,qual).
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,attrib).
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_0025__system,r_0019_0020__GE,gen).
arc(r_0019_0025__system,r_0019_0027__GECOS,r_0019_0026__for).
arc(r_0019_0025__system,z_0019_5013,attrib).
arc(z_0019_5013,r_0019_0022__time,nim).
arc(z_0019_5014,r_0019_0016__GE_r_0019_0018__TSS,arg0).
arc(z_0019_5014,r_0019_0025__system,prd).


%3 r_0019_0002__was was r_0019_0001__Unix Unix r_0019_0002__was->r_0019_0001__Unix [arg0] r_0019_0006__and and r_0019_0002__was->r_0019_0006__and [prd] z_0019_5006 r_0019_0002__was->z_0019_5006 at [nim] r_0019_0005__nonexistent nonexistent r_0019_0006__and->r_0019_0005__nonexistent [conj1] r_0019_0008__embryonic embryonic r_0019_0006__and->r_0019_0008__embryonic [conj2] r_0019_0007__then then r_0019_0008__embryonic->r_0019_0007__then [qual] r_0019_0010__and and r_0019_0010__and->r_0019_0002__was [conj1] r_0019_0015__was was r_0019_0010__and->r_0019_0015__was [conj2] r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource the computation resource r_0019_0015__was->r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource [arg0] r_0019_0016__GE_r_0019_0018__TSS GE TSS r_0019_0015__was->r_0019_0016__GE_r_0019_0018__TSS [arg1] r_0019_0012__main main r_0019_0011__the_r_0019_0013__computation_r_0019_0014__resource->r_0019_0012__main [attrib] r_0019_0025__system system r_0019_0020__GE GE r_0019_0025__system->r_0019_0020__GE [gen] r_0019_0027__GECOS GECOS r_0019_0025__system->r_0019_0027__GECOS for z_0019_5013 r_0019_0025__system->z_0019_5013 [attrib] r_0019_0022__time time z_0019_5013->r_0019_0022__time [nim] z_0019_5014 z_0019_5014->r_0019_0016__GE_r_0019_0018__TSS [arg0] z_0019_5014->r_0019_0025__system [prd] 
fof(formula,axiom,
    ? [R_0019_0001__UNIX,R_0019_0005__NONEXISTENT,R_0019_0007__THEN,R_0019_0008__EMBRYONIC,R_0019_0006__AND,Z_0019_5006,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_0027__GECOS,R_0019_0022__TIME,Z_0019_5013,R_0019_0025__SYSTEM,Z_0019_5014] :
      ( r_0019_0001__Unix(R_0019_0001__UNIX)
      & 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_0020__GE)
      & r_0019_0022__time(R_0019_0022__TIME)
      & r_0019_0027__GECOS(R_0019_0027__GECOS)
      & z_0019_5006(Z_0019_5006)
      & z_0019_5014(Z_0019_5014)
      & has_prd(Z_0019_5014,R_0019_0025__SYSTEM)
      & r_0019_0025__system(R_0019_0025__SYSTEM)
      & has_attrib(R_0019_0025__SYSTEM,Z_0019_5013)
      & z_0019_5013(Z_0019_5013)
      & has_nim(Z_0019_5013,R_0019_0022__TIME)
      & has_r_0019_0026__for(R_0019_0025__SYSTEM,R_0019_0027__GECOS)
      & has_gen(R_0019_0025__SYSTEM,R_0019_0020__GE)
      & has_arg0(Z_0019_5014,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_attrib(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_r_0019_0003__at__nim(R_0019_0002__WAS,Z_0019_5006)
      & 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_qual(R_0019_0008__EMBRYONIC,R_0019_0007__THEN)
      & has_conj1(R_0019_0006__AND,R_0019_0005__NONEXISTENT)
      & has_arg0(R_0019_0002__WAS,R_0019_0001__UNIX) ) ).