TSPC 15_a_lob

15_a_lob_n01
It was a perfect moonlight night; there appeared to be no cloud over the whole of Europe.

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

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,attrib).
arc(r_0015_0009__appeared,r_0015_0011__be_r_0015_0014__over,scope).
arc(r_0015_0011__be_r_0015_0014__over,r_0015_0013__cloud,arg0).
arc(r_0015_0011__be_r_0015_0014__over,r_0015_0015__the_r_0015_0016__whole,arg1).
arc(r_0015_0012__no__quant,r_0015_0009__appeared,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_0015_5001,r_0015_0002__was,conj1).
arc(z_0015_5001,r_0015_0012__no__quant,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,Z_0015_5001] :
      ( r_0015_0001__It(R_0015_0001__IT)
      & r_0015_0004__perfect(R_0015_0004__PERFECT)
      & z_0015_5001(Z_0015_5001)
      & ! [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_0009__APPEARED_R_0015_0011__BE_R_0015_0014__OVER] :
              ( r_0015_0018__Europe(R_0015_0018__EUROPE)
              & r_0015_0009__appeared_r_0015_0011__be_r_0015_0014__over(R_0015_0009__APPEARED_R_0015_0011__BE_R_0015_0014__OVER)
              & has_arg1(R_0015_0009__APPEARED_R_0015_0011__BE_R_0015_0014__OVER,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_0009__APPEARED_R_0015_0011__BE_R_0015_0014__OVER,R_0015_0013__CLOUD) ) )
      & has_conj1(Z_0015_5001,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_attrib(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) ) ).