588_a_dick_1952
It's unfortunate that no ships from our system came this far, but then we had no reason to suspect intelligent life until we saw the fission glow in the sky.”

n588_a_dick_1952 n588_a_dick_1952__1_1_1_1_1_1 It n588_a_dick_1952__1_1_1_2_1 's n588_a_dick_1952__1_1_1_3_1_1 unfortunate n588_a_dick_1952__1_1_1_4_1_1_1 that n588_a_dick_1952__1_1_1_4_1_2_1_1 no n588_a_dick_1952__1_1_1_4_1_2_2_1 ships n588_a_dick_1952__1_1_1_4_1_2_3_1_1 from n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1_1 our n588_a_dick_1952__1_1_1_4_1_2_3_2_2_1 system n588_a_dick_1952__1_1_1_4_1_3_1 came n588_a_dick_1952__1_1_1_4_1_4_1_1 this n588_a_dick_1952__1_1_1_4_1_4_2_1_1 far n588_a_dick_1952__1_1_2_1 , n588_a_dick_1952__1_1_3_1_1 but n588_a_dick_1952__1_1_3_2_1_1_1 then n588_a_dick_1952__1_1_3_2_2_1_1 we n588_a_dick_1952__1_1_3_2_3_1 had n588_a_dick_1952__1_1_3_2_4_1_1 no n588_a_dick_1952__1_1_3_2_4_2_1 reason n588_a_dick_1952__1_1_3_2_4_3_1_1 to n588_a_dick_1952__1_1_3_2_4_3_2_1 suspect n588_a_dick_1952__1_1_3_2_4_3_3_1_1_1 intelligent n588_a_dick_1952__1_1_3_2_4_3_3_2_1 life n588_a_dick_1952__1_1_3_2_5_1_1 until n588_a_dick_1952__1_1_3_2_5_2_1_1_1 we n588_a_dick_1952__1_1_3_2_5_2_2_1 saw n588_a_dick_1952__1_1_3_2_5_2_3_1_1 the n588_a_dick_1952__1_1_3_2_5_2_3_2_1 fission n588_a_dick_1952__1_1_3_2_5_2_4_1_1 glow n588_a_dick_1952__1_1_3_2_5_2_4_2_1_1 in n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1_1 the n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2_1 sky n588_a_dick_1952__1_2_1 . n588_a_dick_1952__1_3_1 <rdquo> n588_a_dick_1952__1 IP-MAT n588_a_dick_1952__1_1 ILYR n588_a_dick_1952__1->n588_a_dick_1952__1_1 n588_a_dick_1952__1_2 PUNC n588_a_dick_1952__1->n588_a_dick_1952__1_2 n588_a_dick_1952__1_3 PURQ n588_a_dick_1952__1->n588_a_dick_1952__1_3 n588_a_dick_1952__1_1_1 ILYR n588_a_dick_1952__1_1->n588_a_dick_1952__1_1_1 n588_a_dick_1952__1_1_2 PUNC n588_a_dick_1952__1_1->n588_a_dick_1952__1_1_2 n588_a_dick_1952__1_1_3 CONJP n588_a_dick_1952__1_1->n588_a_dick_1952__1_1_3 n588_a_dick_1952__1_1_1_1 NP-SBJ n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_1 n588_a_dick_1952__1_1_1_2 BEP;_La_ n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_2 n588_a_dick_1952__1_1_1_3 ADJP-PRD n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_3 n588_a_dick_1952__1_1_1_4 CP-THT-NSBJ n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_4 n588_a_dick_1952__1_1_1_1_1 PRO;_provisional_ n588_a_dick_1952__1_1_1_1->n588_a_dick_1952__1_1_1_1_1 n588_a_dick_1952__1_1_1_1_1->n588_a_dick_1952__1_1_1_1_1_1 n588_a_dick_1952__1_1_1_2->n588_a_dick_1952__1_1_1_2_1 n588_a_dick_1952__1_1_1_3_1 ADJ n588_a_dick_1952__1_1_1_3->n588_a_dick_1952__1_1_1_3_1 n588_a_dick_1952__1_1_1_3_1->n588_a_dick_1952__1_1_1_3_1_1 n588_a_dick_1952__1_1_1_4_1 IP-SUB n588_a_dick_1952__1_1_1_4->n588_a_dick_1952__1_1_1_4_1 n588_a_dick_1952__1_1_1_4_1_1 C n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_1 n588_a_dick_1952__1_1_1_4_1_2 NP-SBJ n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_2 n588_a_dick_1952__1_1_1_4_1_3 VBD;_I_ n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_3 n588_a_dick_1952__1_1_1_4_1_4 NP-NIM n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_4 n588_a_dick_1952__1_1_1_4_1_1->n588_a_dick_1952__1_1_1_4_1_1_1 n588_a_dick_1952__1_1_1_4_1_2_1 Q n588_a_dick_1952__1_1_1_4_1_2->n588_a_dick_1952__1_1_1_4_1_2_1 n588_a_dick_1952__1_1_1_4_1_2_2 NS n588_a_dick_1952__1_1_1_4_1_2->n588_a_dick_1952__1_1_1_4_1_2_2 n588_a_dick_1952__1_1_1_4_1_2_3 PP n588_a_dick_1952__1_1_1_4_1_2->n588_a_dick_1952__1_1_1_4_1_2_3 n588_a_dick_1952__1_1_1_4_1_2_1->n588_a_dick_1952__1_1_1_4_1_2_1_1 n588_a_dick_1952__1_1_1_4_1_2_2->n588_a_dick_1952__1_1_1_4_1_2_2_1 n588_a_dick_1952__1_1_1_4_1_2_3_1 P-ROLE n588_a_dick_1952__1_1_1_4_1_2_3->n588_a_dick_1952__1_1_1_4_1_2_3_1 n588_a_dick_1952__1_1_1_4_1_2_3_2 NP n588_a_dick_1952__1_1_1_4_1_2_3->n588_a_dick_1952__1_1_1_4_1_2_3_2 n588_a_dick_1952__1_1_1_4_1_2_3_1->n588_a_dick_1952__1_1_1_4_1_2_3_1_1 n588_a_dick_1952__1_1_1_4_1_2_3_2_1 NP-GEN n588_a_dick_1952__1_1_1_4_1_2_3_2->n588_a_dick_1952__1_1_1_4_1_2_3_2_1 n588_a_dick_1952__1_1_1_4_1_2_3_2_2 N n588_a_dick_1952__1_1_1_4_1_2_3_2->n588_a_dick_1952__1_1_1_4_1_2_3_2_2 n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1 PRO;_genm_ n588_a_dick_1952__1_1_1_4_1_2_3_2_1->n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1 n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1->n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1_1 n588_a_dick_1952__1_1_1_4_1_2_3_2_2->n588_a_dick_1952__1_1_1_4_1_2_3_2_2_1 n588_a_dick_1952__1_1_1_4_1_3->n588_a_dick_1952__1_1_1_4_1_3_1 n588_a_dick_1952__1_1_1_4_1_4_1 D;_nphd_ n588_a_dick_1952__1_1_1_4_1_4->n588_a_dick_1952__1_1_1_4_1_4_1 n588_a_dick_1952__1_1_1_4_1_4_2 ADJP n588_a_dick_1952__1_1_1_4_1_4->n588_a_dick_1952__1_1_1_4_1_4_2 n588_a_dick_1952__1_1_1_4_1_4_1->n588_a_dick_1952__1_1_1_4_1_4_1_1 n588_a_dick_1952__1_1_1_4_1_4_2_1 ADJ n588_a_dick_1952__1_1_1_4_1_4_2->n588_a_dick_1952__1_1_1_4_1_4_2_1 n588_a_dick_1952__1_1_1_4_1_4_2_1->n588_a_dick_1952__1_1_1_4_1_4_2_1_1 n588_a_dick_1952__1_1_2->n588_a_dick_1952__1_1_2_1 n588_a_dick_1952__1_1_3_1 CONJ n588_a_dick_1952__1_1_3->n588_a_dick_1952__1_1_3_1 n588_a_dick_1952__1_1_3_2 ILYR n588_a_dick_1952__1_1_3->n588_a_dick_1952__1_1_3_2 n588_a_dick_1952__1_1_3_1->n588_a_dick_1952__1_1_3_1_1 n588_a_dick_1952__1_1_3_2_1 ADVP-NIM n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_1 n588_a_dick_1952__1_1_3_2_2 NP-SBJ n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_2 n588_a_dick_1952__1_1_3_2_3 HVD;_Tn_ n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_3 n588_a_dick_1952__1_1_3_2_4 NP-OB1 n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_4 n588_a_dick_1952__1_1_3_2_5 PP-SCON n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_5 n588_a_dick_1952__1_1_3_2_1_1 ADV n588_a_dick_1952__1_1_3_2_1->n588_a_dick_1952__1_1_3_2_1_1 n588_a_dick_1952__1_1_3_2_1_1->n588_a_dick_1952__1_1_3_2_1_1_1 n588_a_dick_1952__1_1_3_2_2_1 PRO n588_a_dick_1952__1_1_3_2_2->n588_a_dick_1952__1_1_3_2_2_1 n588_a_dick_1952__1_1_3_2_2_1->n588_a_dick_1952__1_1_3_2_2_1_1 n588_a_dick_1952__1_1_3_2_3->n588_a_dick_1952__1_1_3_2_3_1 n588_a_dick_1952__1_1_3_2_4_1 Q n588_a_dick_1952__1_1_3_2_4->n588_a_dick_1952__1_1_3_2_4_1 n588_a_dick_1952__1_1_3_2_4_2 N n588_a_dick_1952__1_1_3_2_4->n588_a_dick_1952__1_1_3_2_4_2 n588_a_dick_1952__1_1_3_2_4_3 IP-INF n588_a_dick_1952__1_1_3_2_4->n588_a_dick_1952__1_1_3_2_4_3 n588_a_dick_1952__1_1_3_2_4_1->n588_a_dick_1952__1_1_3_2_4_1_1 n588_a_dick_1952__1_1_3_2_4_2->n588_a_dick_1952__1_1_3_2_4_2_1 n588_a_dick_1952__1_1_3_2_4_3_1 TO n588_a_dick_1952__1_1_3_2_4_3->n588_a_dick_1952__1_1_3_2_4_3_1 n588_a_dick_1952__1_1_3_2_4_3_2 VB;_Tn_ n588_a_dick_1952__1_1_3_2_4_3->n588_a_dick_1952__1_1_3_2_4_3_2 n588_a_dick_1952__1_1_3_2_4_3_3 NP-OB1 n588_a_dick_1952__1_1_3_2_4_3->n588_a_dick_1952__1_1_3_2_4_3_3 n588_a_dick_1952__1_1_3_2_4_3_1->n588_a_dick_1952__1_1_3_2_4_3_1_1 n588_a_dick_1952__1_1_3_2_4_3_2->n588_a_dick_1952__1_1_3_2_4_3_2_1 n588_a_dick_1952__1_1_3_2_4_3_3_1 ADJP n588_a_dick_1952__1_1_3_2_4_3_3->n588_a_dick_1952__1_1_3_2_4_3_3_1 n588_a_dick_1952__1_1_3_2_4_3_3_2 N n588_a_dick_1952__1_1_3_2_4_3_3->n588_a_dick_1952__1_1_3_2_4_3_3_2 n588_a_dick_1952__1_1_3_2_4_3_3_1_1 ADJ n588_a_dick_1952__1_1_3_2_4_3_3_1->n588_a_dick_1952__1_1_3_2_4_3_3_1_1 n588_a_dick_1952__1_1_3_2_4_3_3_1_1->n588_a_dick_1952__1_1_3_2_4_3_3_1_1_1 n588_a_dick_1952__1_1_3_2_4_3_3_2->n588_a_dick_1952__1_1_3_2_4_3_3_2_1 n588_a_dick_1952__1_1_3_2_5_1 P-CONN n588_a_dick_1952__1_1_3_2_5->n588_a_dick_1952__1_1_3_2_5_1 n588_a_dick_1952__1_1_3_2_5_2 IP-ADV n588_a_dick_1952__1_1_3_2_5->n588_a_dick_1952__1_1_3_2_5_2 n588_a_dick_1952__1_1_3_2_5_1->n588_a_dick_1952__1_1_3_2_5_1_1 n588_a_dick_1952__1_1_3_2_5_2_1 NP-SBJ n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_1 n588_a_dick_1952__1_1_3_2_5_2_2 VBD;_Tni_ n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_2 n588_a_dick_1952__1_1_3_2_5_2_3 NP-DOB1 n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_3 n588_a_dick_1952__1_1_3_2_5_2_4 IP-INF-OB1 n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_4 n588_a_dick_1952__1_1_3_2_5_2_1_1 PRO n588_a_dick_1952__1_1_3_2_5_2_1->n588_a_dick_1952__1_1_3_2_5_2_1_1 n588_a_dick_1952__1_1_3_2_5_2_1_1->n588_a_dick_1952__1_1_3_2_5_2_1_1_1 n588_a_dick_1952__1_1_3_2_5_2_2->n588_a_dick_1952__1_1_3_2_5_2_2_1 n588_a_dick_1952__1_1_3_2_5_2_3_1 D n588_a_dick_1952__1_1_3_2_5_2_3->n588_a_dick_1952__1_1_3_2_5_2_3_1 n588_a_dick_1952__1_1_3_2_5_2_3_2 N n588_a_dick_1952__1_1_3_2_5_2_3->n588_a_dick_1952__1_1_3_2_5_2_3_2 n588_a_dick_1952__1_1_3_2_5_2_3_1->n588_a_dick_1952__1_1_3_2_5_2_3_1_1 n588_a_dick_1952__1_1_3_2_5_2_3_2->n588_a_dick_1952__1_1_3_2_5_2_3_2_1 n588_a_dick_1952__1_1_3_2_5_2_4_1 VB;_I_ n588_a_dick_1952__1_1_3_2_5_2_4->n588_a_dick_1952__1_1_3_2_5_2_4_1 n588_a_dick_1952__1_1_3_2_5_2_4_2 PP-NIM n588_a_dick_1952__1_1_3_2_5_2_4->n588_a_dick_1952__1_1_3_2_5_2_4_2 n588_a_dick_1952__1_1_3_2_5_2_4_1->n588_a_dick_1952__1_1_3_2_5_2_4_1_1 n588_a_dick_1952__1_1_3_2_5_2_4_2_1 P-ROLE n588_a_dick_1952__1_1_3_2_5_2_4_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_1 n588_a_dick_1952__1_1_3_2_5_2_4_2_2 NP n588_a_dick_1952__1_1_3_2_5_2_4_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2 n588_a_dick_1952__1_1_3_2_5_2_4_2_1->n588_a_dick_1952__1_1_3_2_5_2_4_2_1_1 n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1 D n588_a_dick_1952__1_1_3_2_5_2_4_2_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1 n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2 N n588_a_dick_1952__1_1_3_2_5_2_4_2_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2 n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1_1 n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2_1 n588_a_dick_1952__1_2->n588_a_dick_1952__1_2_1 n588_a_dick_1952__1_3->n588_a_dick_1952__1_3_1
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (BEP;_La_ <apos>s;{be})
                      (ADJP-PRD (ADJ unfortunate;{unfortunate}))
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (Q no;{no})
                                                   (NS ships;{ship})
                                                   (PP (P-ROLE from;{from})
                                                       (NP (NP-GEN;{TRESPASSERS} (PRO;_genm_ our;{our}))
                                                           (N system;{system}))))
                                           (VBD;_I_ came;{come})
                                           (NP-NIM (D;_nphd_ this;{this})
                                                   (ADJP (ADJ far;{far}))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (Q no;{no})
                                     (N reason;{reason})
                                     (IP-INF (TO to;{to})
                                             (VB;_Tn_ suspect;{suspect})
                                             (NP-OB1 (ADJP (ADJ intelligent;{intelligent}))
                                                     (N life;{life}))))
                             (PP-SCON (P-CONN until;{until})
                                      (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                              (VBD;_Tni_ saw;{see})
                                              (NP-DOB1 (D the;{the})
                                                       (N fission;{fission}))
                                              (IP-INF-OB1 (VB;_I_ glow;{glow})
                                                          (PP-NIM (P-ROLE in;{in})
                                                                  (NP (D the;{the})
                                                                      (N sky;{sky})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 588_a_dick_1952))



%3 r_0588_0029__glow glow r_0588_0031__the_r_0588_0032__sky the sky r_0588_0029__glow->r_0588_0031__the_r_0588_0032__sky in [nim] r_0588_0027__the_r_0588_0028__fission the fission r_0588_0029__glow->r_0588_0027__the_r_0588_0028__fission [arg0] r_0588_0026__saw saw r_0588_0026__saw->r_0588_0029__glow [arg1] r_0588_0008__our our r_0588_0026__saw->r_0588_0008__our [arg0] r_0588_0024__until until r_0588_0024__until->r_0588_0026__saw [restriction] r_0588_0017__had had r_0588_0024__until->r_0588_0017__had [scope] r_0588_0017__had->r_0588_0008__our [arg0] r_0588_0019__reason reason r_0588_0017__had->r_0588_0019__reason [arg1] r_0588_0015__then then r_0588_0017__had->r_0588_0015__then [nim] r_0588_0023__life life r_0588_0022__intelligent intelligent r_0588_0023__life->r_0588_0022__intelligent [attrib] r_0588_0021__suspect suspect r_0588_0021__suspect->r_0588_0023__life [arg1] z_0588_5016 r_0588_0021__suspect->z_0588_5016 [arg0] r_0588_0019__reason->r_0588_0021__suspect [emb] r_0588_0018__no__quant no [quant] r_0588_0018__no__quant->r_0588_0024__until [scope] r_0588_0018__no__quant->r_0588_0019__reason [restriction] r_0588_0014__but but r_0588_0014__but->r_0588_0018__no__quant [conj2] r_0588_0002___apos_s 's r_0588_0014__but->r_0588_0002___apos_s [conj1] r_0588_0005__no__quant no [quant] r_0588_0002___apos_s->r_0588_0005__no__quant [arg0] r_0588_0003__unfortunate unfortunate r_0588_0002___apos_s->r_0588_0003__unfortunate [prd] r_0588_0011__this this r_0588_0012__far far r_0588_0011__this->r_0588_0012__far [attrib] r_0588_0010__came came r_0588_0010__came->r_0588_0011__this [nim] r_0588_0006__ships ships r_0588_0010__came->r_0588_0006__ships [arg0] r_0588_0009__system system r_0588_0006__ships->r_0588_0009__system from r_0588_0009__system->r_0588_0008__our [gen] r_0588_0005__no__quant->r_0588_0010__came [scope] r_0588_0005__no__quant->r_0588_0006__ships [restriction]
arc(r_0588_0002___apos_s,r_0588_0003__unfortunate,prd).
arc(r_0588_0002___apos_s,r_0588_0005__no__quant,arg0).
arc(r_0588_0005__no__quant,r_0588_0006__ships,restriction).
arc(r_0588_0005__no__quant,r_0588_0010__came,scope).
arc(r_0588_0006__ships,r_0588_0009__system,r_0588_0007__from).
arc(r_0588_0009__system,r_0588_0008__our,gen).
arc(r_0588_0010__came,r_0588_0006__ships,arg0).
arc(r_0588_0010__came,r_0588_0011__this,nim).
arc(r_0588_0011__this,r_0588_0012__far,attrib).
arc(r_0588_0014__but,r_0588_0002___apos_s,conj1).
arc(r_0588_0014__but,r_0588_0018__no__quant,conj2).
arc(r_0588_0017__had,r_0588_0008__our,arg0).
arc(r_0588_0017__had,r_0588_0015__then,nim).
arc(r_0588_0017__had,r_0588_0019__reason,arg1).
arc(r_0588_0018__no__quant,r_0588_0019__reason,restriction).
arc(r_0588_0018__no__quant,r_0588_0024__until,scope).
arc(r_0588_0019__reason,r_0588_0021__suspect,emb).
arc(r_0588_0021__suspect,r_0588_0023__life,arg1).
arc(r_0588_0021__suspect,z_0588_5016,arg0).
arc(r_0588_0023__life,r_0588_0022__intelligent,attrib).
arc(r_0588_0024__until,r_0588_0017__had,scope).
arc(r_0588_0024__until,r_0588_0026__saw,restriction).
arc(r_0588_0026__saw,r_0588_0008__our,arg0).
arc(r_0588_0026__saw,r_0588_0029__glow,arg1).
arc(r_0588_0029__glow,r_0588_0027__the_r_0588_0028__fission,arg0).
arc(r_0588_0029__glow,r_0588_0031__the_r_0588_0032__sky,r_0588_0030__in__nim).



%3 r_0588_0002___apos_s 's r_0588_0003__unfortunate unfortunate r_0588_0002___apos_s->r_0588_0003__unfortunate [prd] r_0588_0005__no__quant no [quant] r_0588_0002___apos_s->r_0588_0005__no__quant [arg0] r_0588_0006__ships ships r_0588_0005__no__quant->r_0588_0006__ships [restriction] r_0588_0010__came came r_0588_0005__no__quant->r_0588_0010__came [scope] r_0588_0009__system system r_0588_0006__ships->r_0588_0009__system from r_0588_0010__came->r_0588_0006__ships [arg0] r_0588_0011__this this r_0588_0010__came->r_0588_0011__this [nim] r_0588_0008__our our r_0588_0009__system->r_0588_0008__our [gen] r_0588_0012__far far r_0588_0011__this->r_0588_0012__far [attrib] r_0588_0014__but but r_0588_0014__but->r_0588_0002___apos_s [conj1] r_0588_0018__no__quant no [quant] r_0588_0014__but->r_0588_0018__no__quant [conj2] r_0588_0019__reason reason r_0588_0018__no__quant->r_0588_0019__reason [restriction] r_0588_0024__until until r_0588_0018__no__quant->r_0588_0024__until [scope] r_0588_0017__had had r_0588_0017__had->r_0588_0008__our [arg0] r_0588_0015__then then r_0588_0017__had->r_0588_0015__then [nim] r_0588_0017__had->r_0588_0019__reason [arg1] r_0588_0021__suspect suspect r_0588_0019__reason->r_0588_0021__suspect [emb] r_0588_0024__until->r_0588_0017__had [conj2] r_0588_0026__saw saw r_0588_0024__until->r_0588_0026__saw [conj1] r_0588_0023__life life r_0588_0021__suspect->r_0588_0023__life [arg1] z_0588_5016 r_0588_0021__suspect->z_0588_5016 [arg0] r_0588_0022__intelligent intelligent r_0588_0023__life->r_0588_0022__intelligent [attrib] r_0588_0026__saw->r_0588_0008__our [arg0] r_0588_0029__glow glow r_0588_0026__saw->r_0588_0029__glow [arg1] r_0588_0027__the_r_0588_0028__fission the fission r_0588_0029__glow->r_0588_0027__the_r_0588_0028__fission [arg0] r_0588_0031__the_r_0588_0032__sky the sky r_0588_0029__glow->r_0588_0031__the_r_0588_0032__sky in [nim]
fof(formula,axiom,
    ? [R_0588_0003__UNFORTUNATE,R_0588_0002___APOS_S,R_0588_0014__BUT] :
      ( r_0588_0003__unfortunate(R_0588_0003__UNFORTUNATE)
      & r_0588_0014__but(R_0588_0014__BUT)
      & ! [R_0588_0019__REASON,R_0588_0022__INTELLIGENT,R_0588_0023__LIFE,Z_0588_5016,R_0588_0021__SUSPECT] :
          ( ( r_0588_0022__intelligent(R_0588_0022__INTELLIGENT)
            & z_0588_5016(Z_0588_5016)
            & r_0588_0019__reason(R_0588_0019__REASON)
            & has_emb(R_0588_0019__REASON,R_0588_0021__SUSPECT)
            & r_0588_0021__suspect(R_0588_0021__SUSPECT)
            & has_arg0(R_0588_0021__SUSPECT,Z_0588_5016)
            & has_arg1(R_0588_0021__SUSPECT,R_0588_0023__LIFE)
            & r_0588_0023__life(R_0588_0023__LIFE)
            & has_attrib(R_0588_0023__LIFE,R_0588_0022__INTELLIGENT) )
         => ? [R_0588_0008__OUR,R_0588_0015__THEN,R_0588_0017__HAD,R_0588_0027__THE_R_0588_0028__FISSION,R_0588_0031__THE_R_0588_0032__SKY,R_0588_0029__GLOW,R_0588_0026__SAW,R_0588_0024__UNTIL] :
              ( r_0588_0008__our(R_0588_0008__OUR)
              & r_0588_0015__then(R_0588_0015__THEN)
              & r_0588_0027__the_r_0588_0028__fission(R_0588_0027__THE_R_0588_0028__FISSION)
              & r_0588_0031__the_r_0588_0032__sky(R_0588_0031__THE_R_0588_0032__SKY)
              & r_0588_0024__until(R_0588_0024__UNTIL)
              & has_conj1(R_0588_0024__UNTIL,R_0588_0026__SAW)
              & r_0588_0026__saw(R_0588_0026__SAW)
              & has_arg1(R_0588_0026__SAW,R_0588_0029__GLOW)
              & r_0588_0029__glow(R_0588_0029__GLOW)
              & has_r_0588_0030__in__nim(R_0588_0029__GLOW,R_0588_0031__THE_R_0588_0032__SKY)
              & has_arg0(R_0588_0029__GLOW,R_0588_0027__THE_R_0588_0028__FISSION)
              & has_arg0(R_0588_0026__SAW,R_0588_0008__OUR)
              & has_conj2(R_0588_0024__UNTIL,R_0588_0017__HAD)
              & r_0588_0017__had(R_0588_0017__HAD)
              & has_arg1(R_0588_0017__HAD,R_0588_0019__REASON)
              & has_nim(R_0588_0017__HAD,R_0588_0015__THEN)
              & has_arg0(R_0588_0017__HAD,R_0588_0008__OUR) ) )
      & has_conj1(R_0588_0014__BUT,R_0588_0002___APOS_S)
      & r_0588_0002___apos_s(R_0588_0002___APOS_S)
      & ! [R_0588_0006__SHIPS,R_0588_0008__OUR,R_0588_0009__SYSTEM] :
          ( ( r_0588_0008__our(R_0588_0008__OUR)
            & r_0588_0006__ships(R_0588_0006__SHIPS)
            & has_r_0588_0007__from(R_0588_0006__SHIPS,R_0588_0009__SYSTEM)
            & r_0588_0009__system(R_0588_0009__SYSTEM)
            & has_gen(R_0588_0009__SYSTEM,R_0588_0008__OUR) )
         => ? [R_0588_0012__FAR,R_0588_0011__THIS,R_0588_0010__CAME] :
              ( r_0588_0012__far(R_0588_0012__FAR)
              & r_0588_0010__came(R_0588_0010__CAME)
              & has_nim(R_0588_0010__CAME,R_0588_0011__THIS)
              & r_0588_0011__this(R_0588_0011__THIS)
              & has_attrib(R_0588_0011__THIS,R_0588_0012__FAR)
              & has_arg0(R_0588_0010__CAME,R_0588_0006__SHIPS) ) )
      & has_prd(R_0588_0002___APOS_S,R_0588_0003__UNFORTUNATE) ) ).