( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{MEGACYTES} (NS megacytes;{megacytes}))
                           (BEP;_cat_VePASS_ are;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ destroyed;{destroy}))))
          (PUNC ,)
          (NP-SBJ;{MEGACYTES} (PRO they;{they}))
          (VBP;_Tn_ release;{release})
          (NP-OB1 (D a;{a})
                  (N cloud;{cloud})
                  (PP (P-ROLE of;{of})
                      (NP (NS spores;{spore}))))
          (PUNC <hyphen>)
          (PRN (IP-IMP (VB;_Tn_ use;{use})
                       (NP-OB1 (D the;{the})
                               (ADJP (ADJ smart;{smart}))
                               (NS bombs;{bomb}))
                       (ADVP-NIM (ADV wisely;{wisely}))
                       (PUNC ,)
                       (PP-SCON (P-CONN as;{as})
                                (IP-ADV (NP-SBJ (PRO you;{you}))
                                        (ADVP (ADV only;{only}))
                                        (HV;_Tn_ have;{have})
                                        (NP-OB1 (NUM three;{three}))
                                        (ADVP-NIM (ADV to_begin_with;{to_begin_with}))))))
          (PUNC .))
  (ID 11_a_planetoid))

arc(r_0011_0001__When,r_0011_0003__are,restriction).
arc(r_0011_0001__When,r_0011_0007__release,scope).
arc(r_0011_0003__are,r_0011_0004__destroyed,scope).
arc(r_0011_0004__destroyed,r_0011_0002__megacytes,arg1).
arc(r_0011_0004__destroyed,z_0011_5004___star_,arg0).
arc(r_0011_0007__release,r_0011_0002__megacytes,arg0).
arc(r_0011_0007__release,r_0011_0008__a_r_0011_0009__cloud,arg1).
arc(r_0011_0007__release,r_0011_0019__as,prn).
arc(r_0011_0008__a_r_0011_0009__cloud,r_0011_0011__spores,r_0011_0010__of).
arc(r_0011_0013__use,r_0011_0014__the_r_0011_0016__bombs,arg1).
arc(r_0011_0013__use,r_0011_0017__wisely,nim).
arc(r_0011_0013__use,z_0011_5012,arg0).
arc(r_0011_0014__the_r_0011_0016__bombs,r_0011_0015__smart,attrib).
arc(r_0011_0019__as,r_0011_0013__use,scope).
arc(r_0011_0019__as,r_0011_0022__have,restriction).
arc(r_0011_0022__have,r_0011_0020__you,arg0).
arc(r_0011_0022__have,r_0011_0021__only,qual).
arc(r_0011_0022__have,r_0011_0023__three,arg1).
arc(r_0011_0022__have,r_0011_0024__to_begin_with,nim).

fof(formula,axiom,
    ! [R_0011_0003__ARE_R_0011_0004__DESTROYED,R_0011_0002__MEGACYTES,Z_0011_5004___STAR_] :
      ( ( r_0011_0002__megacytes(R_0011_0002__MEGACYTES)
        & z_0011_5004___star_(Z_0011_5004___STAR_)
        & r_0011_0003__are_r_0011_0004__destroyed(R_0011_0003__ARE_R_0011_0004__DESTROYED)
        & has_arg0(R_0011_0003__ARE_R_0011_0004__DESTROYED,Z_0011_5004___STAR_)
        & has_arg1(R_0011_0003__ARE_R_0011_0004__DESTROYED,R_0011_0002__MEGACYTES) )
     => ? [R_0011_0011__SPORES,R_0011_0008__A_R_0011_0009__CLOUD,R_0011_0015__SMART,R_0011_0014__THE_R_0011_0016__BOMBS,R_0011_0017__WISELY,Z_0011_5012,R_0011_0013__USE,R_0011_0020__YOU,R_0011_0021__ONLY,R_0011_0023__THREE,R_0011_0024__TO_BEGIN_WITH,R_0011_0022__HAVE,R_0011_0019__AS,R_0011_0007__RELEASE] :
          ( r_0011_0011__spores(R_0011_0011__SPORES)
          & r_0011_0015__smart(R_0011_0015__SMART)
          & r_0011_0017__wisely(R_0011_0017__WISELY)
          & r_0011_0020__you(R_0011_0020__YOU)
          & r_0011_0021__only(R_0011_0021__ONLY)
          & r_0011_0023__three(R_0011_0023__THREE)
          & r_0011_0024__to_begin_with(R_0011_0024__TO_BEGIN_WITH)
          & z_0011_5012(Z_0011_5012)
          & r_0011_0007__release(R_0011_0007__RELEASE)
          & has_prn(R_0011_0007__RELEASE,R_0011_0019__AS)
          & r_0011_0019__as(R_0011_0019__AS)
          & has_conj1(R_0011_0019__AS,R_0011_0022__HAVE)
          & r_0011_0022__have(R_0011_0022__HAVE)
          & has_nim(R_0011_0022__HAVE,R_0011_0024__TO_BEGIN_WITH)
          & has_arg1(R_0011_0022__HAVE,R_0011_0023__THREE)
          & has_qual(R_0011_0022__HAVE,R_0011_0021__ONLY)
          & has_arg0(R_0011_0022__HAVE,R_0011_0020__YOU)
          & has_conj2(R_0011_0019__AS,R_0011_0013__USE)
          & r_0011_0013__use(R_0011_0013__USE)
          & has_arg0(R_0011_0013__USE,Z_0011_5012)
          & has_nim(R_0011_0013__USE,R_0011_0017__WISELY)
          & has_arg1(R_0011_0013__USE,R_0011_0014__THE_R_0011_0016__BOMBS)
          & r_0011_0014__the_r_0011_0016__bombs(R_0011_0014__THE_R_0011_0016__BOMBS)
          & has_attrib(R_0011_0014__THE_R_0011_0016__BOMBS,R_0011_0015__SMART)
          & has_arg1(R_0011_0007__RELEASE,R_0011_0008__A_R_0011_0009__CLOUD)
          & r_0011_0008__a_r_0011_0009__cloud(R_0011_0008__A_R_0011_0009__CLOUD)
          & has_r_0011_0010__of(R_0011_0008__A_R_0011_0009__CLOUD,R_0011_0011__SPORES)
          & has_arg0(R_0011_0007__RELEASE,R_0011_0002__MEGACYTES) ) ) ).