arc(r_0015_0002__was, r_0015_0001__It, arg0).
arc(r_0015_0002__was, r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night, prd).
arc(r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night, r_0015_0004__perfect, attrib12).
arc(r_0015_0008__there_r_0015_0009__appeared, r_0015_0012__no_quant, scope).
arc(r_0015_0010__to_r_0015_0011__be, r_0015_0013__cloud, arg0).
arc(r_0015_0010__to_r_0015_0011__be, r_0015_0015__the_r_0015_0016__whole, r_0015_0014__over_clr40).
arc(r_0015_0012__no_quant, r_0015_0010__to_r_0015_0011__be, scope).
arc(r_0015_0012__no_quant, r_0015_0013__cloud, restriction).
arc(r_0015_0015__the_r_0015_0016__whole, r_0015_0018__Europe, r_0015_0017__of).
arc(z_000_15_a_lob_n01_2, r_0015_0002__was, conj1).
arc(z_000_15_a_lob_n01_2, r_0015_0008__there_r_0015_0009__appeared, conj2).

fof(formula,axiom,
    ? [R_0015_0001__IT,R_0015_0004__PERFECT,R_0015_0003__A_R_0015_0005__MOONLIGHT_R_0015_0006__NIGHT,R_0015_0002__WAS,R_0015_0008__THERE_R_0015_0009__APPEARED,Z_000_15_A_LOB_N01_2] :
      ( r_0015_0001__It(R_0015_0001__IT)
      & r_0015_0004__perfect(R_0015_0004__PERFECT)
      & z_000_15_a_lob_n01_2(Z_000_15_A_LOB_N01_2)
      & has_conj2(Z_000_15_A_LOB_N01_2,R_0015_0008__THERE_R_0015_0009__APPEARED)
      & r_0015_0008__there_r_0015_0009__appeared(R_0015_0008__THERE_R_0015_0009__APPEARED)
      & ! [R_0015_0013__CLOUD] :
          ( r_0015_0013__cloud(R_0015_0013__CLOUD)
         => ? [R_0015_0018__EUROPE,R_0015_0015__THE_R_0015_0016__WHOLE,R_0015_0010__TO_R_0015_0011__BE] :
              ( r_0015_0018__Europe(R_0015_0018__EUROPE)
              & r_0015_0010__to_r_0015_0011__be(R_0015_0010__TO_R_0015_0011__BE)
              & has_r_0015_0014__over_clr40(R_0015_0010__TO_R_0015_0011__BE,R_0015_0015__THE_R_0015_0016__WHOLE)
              & r_0015_0015__the_r_0015_0016__whole(R_0015_0015__THE_R_0015_0016__WHOLE)
              & has_r_0015_0017__of(R_0015_0015__THE_R_0015_0016__WHOLE,R_0015_0018__EUROPE)
              & has_arg0(R_0015_0010__TO_R_0015_0011__BE,R_0015_0013__CLOUD) ) )
      & has_conj1(Z_000_15_A_LOB_N01_2,R_0015_0002__WAS)
      & r_0015_0002__was(R_0015_0002__WAS)
      & has_prd(R_0015_0002__WAS,R_0015_0003__A_R_0015_0005__MOONLIGHT_R_0015_0006__NIGHT)
      & r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night(R_0015_0003__A_R_0015_0005__MOONLIGHT_R_0015_0006__NIGHT)
      & has_attrib12(R_0015_0003__A_R_0015_0005__MOONLIGHT_R_0015_0006__NIGHT,R_0015_0004__PERFECT)
      & has_arg0(R_0015_0002__WAS,R_0015_0001__IT) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO It;{it}))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ perfect;{perfect}))
                              (N moonlight;{moonlight})
                              (N night;{night})))
                (PUNC ;)
                (CONJP (ILYR (EX there;{there})
                             (VBD;_cat_Vt_ appeared;{appear})
                             (IP-INF-CAT (TO to;{to})
                                         (BE;_ex_Vpr_ be;{be})
                                         (NP-ESBJ (Q no;{no})
                                                  (N cloud;{cloud}))
                                         (PP-CLR (P-ROLE over;{over})
                                                 (NP (D the;{the})
                                                     (N whole;{whole})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (NPR Europe;{Europe})))))))))
          (PUNC .))
  (ID 15_a_lob_n01))