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_0004__that_r_0588_0010__came, r_0588_0006__ships, arg0).
arc(r_0588_0004__that_r_0588_0010__came, r_0588_0011__this, nim32).
arc(r_0588_0005__no_quant, r_0588_0004__that_r_0588_0010__came, scope).
arc(r_0588_0005__no_quant, r_0588_0006__ships, restriction).
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_0011__this, r_0588_0012__far, attrib35).
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_0015__then, nim44).
arc(r_0588_0017__had, r_0588_0016__we, arg0).
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_0020__to_r_0588_0021__suspect, emb57).
arc(r_0588_0020__to_r_0588_0021__suspect, r_0588_0023__life, arg1).
arc(r_0588_0020__to_r_0588_0021__suspect, z_000_588_a_dick_1952_57, arg0).
arc(r_0588_0023__life, r_0588_0022__intelligent, attrib63).
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_0016__we, 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_nim88).

fof(formula,axiom,
    ? [R_588_14_BUT,R_588_2__APOS_S,R_588_3_UNFORTUNATE] :
      ( unfortunate(R_588_3_UNFORTUNATE)
      & ! [R_588_19_REASON,R_588_20_TO_SUSPECT,Z_588_A_DICK_1952_57,R_588_23_LIFE,R_588_22_INTELLIGENT] :
          ( ( intelligent(R_588_22_INTELLIGENT)
            & reason(R_588_19_REASON)
            & emb57(R_588_19_REASON,R_588_20_TO_SUSPECT)
            & to_suspect(R_588_20_TO_SUSPECT,Z_588_A_DICK_1952_57,R_588_23_LIFE)
            & life(R_588_23_LIFE)
            & attrib63(R_588_23_LIFE,R_588_22_INTELLIGENT) )
         => ? [R_588_24_UNTIL,R_588_26_SAW,R_588_29_GLOW,R_588_27_THE_FISSION,R_588_31_THE_SKY,R_588_17_HAD,R_588_16_WE,R_588_15_THEN] :
              ( the_fission(R_588_27_THE_FISSION)
              & the_sky(R_588_31_THE_SKY)
              & we(R_588_16_WE)
              & then(R_588_15_THEN)
              & until(R_588_24_UNTIL)
              & conj1(R_588_24_UNTIL,R_588_26_SAW)
              & saw(R_588_26_SAW,R_588_16_WE,R_588_29_GLOW)
              & glow(R_588_29_GLOW,R_588_27_THE_FISSION)
              & in_nim88(R_588_29_GLOW,R_588_31_THE_SKY)
              & conj2(R_588_24_UNTIL,R_588_17_HAD)
              & had(R_588_17_HAD,R_588_16_WE,R_588_19_REASON)
              & nim44(R_588_17_HAD,R_588_15_THEN) ) )
      & conj2(CONJ2)
      & but(R_588_14_BUT)
      & conj1(R_588_14_BUT,R_588_2__APOS_S)
      & ! [R_588_6_SHIPS,R_588_9_SYSTEM,R_588_8_OUR] :
          ( ( our(R_588_8_OUR)
            & ships(R_588_6_SHIPS)
            & from(R_588_6_SHIPS,R_588_9_SYSTEM)
            & system(R_588_9_SYSTEM)
            & gen(R_588_9_SYSTEM,R_588_8_OUR) )
         => ? [R_588_4_THAT_CAME,R_588_11_THIS,R_588_12_FAR] :
              ( far(R_588_12_FAR)
              & that_came(R_588_4_THAT_CAME,R_588_6_SHIPS)
              & nim32(R_588_4_THAT_CAME,R_588_11_THIS)
              & this(R_588_11_THIS)
              & attrib35(R_588_11_THIS,R_588_12_FAR) ) )
      & arg0(ARG0)
      & _apos_s(R_588_2__APOS_S)
      & prd(R_588_2__APOS_S,R_588_3_UNFORTUNATE) ) ).

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