Context                Previous, Next                Top


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

%3 r_0015_0002__was was r_0015_0001__It It r_0015_0002__was->r_0015_0001__It [arg0] r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night a moonlight night r_0015_0002__was->r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night [prd] r_0015_0004__perfect perfect r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night->r_0015_0004__perfect [attrib] r_0015_0008__there_r_0015_0009__appeared there appeared r_0015_0012__no_quant no [quant] r_0015_0008__there_r_0015_0009__appeared->r_0015_0012__no_quant [scope] r_0015_0010__to_r_0015_0011__be to be r_0015_0012__no_quant->r_0015_0010__to_r_0015_0011__be [scope] r_0015_0013__cloud cloud r_0015_0012__no_quant->r_0015_0013__cloud [restriction] r_0015_0010__to_r_0015_0011__be->r_0015_0013__cloud [arg0] r_0015_0015__the_r_0015_0016__whole the whole r_0015_0010__to_r_0015_0011__be->r_0015_0015__the_r_0015_0016__whole over [clr] r_0015_0018__Europe Europe r_0015_0015__the_r_0015_0016__whole->r_0015_0018__Europe of z_000_15_a_lob_n01_2 z_000_15_a_lob_n01_2->r_0015_0002__was [conj1] z_000_15_a_lob_n01_2->r_0015_0008__there_r_0015_0009__appeared [conj2] 
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).


%3 r_0015_0008__there_r_0015_0009__appeared there appeared r_0015_0012__no_quant no [quant] r_0015_0008__there_r_0015_0009__appeared->r_0015_0012__no_quant [keep_scope] r_0015_0013__cloud cloud r_0015_0012__no_quant->r_0015_0013__cloud [restriction] r_0015_0010__to_r_0015_0011__be to be r_0015_0012__no_quant->r_0015_0010__to_r_0015_0011__be [scope] z_000_15_a_lob_n01_2 z_000_15_a_lob_n01_2->r_0015_0008__there_r_0015_0009__appeared [conj2] r_0015_0002__was was z_000_15_a_lob_n01_2->r_0015_0002__was [conj1] r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night a moonlight night r_0015_0002__was->r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night [prd] r_0015_0001__It It r_0015_0002__was->r_0015_0001__It [arg0] r_0015_0015__the_r_0015_0016__whole the whole r_0015_0018__Europe Europe r_0015_0015__the_r_0015_0016__whole->r_0015_0018__Europe of r_0015_0010__to_r_0015_0011__be->r_0015_0015__the_r_0015_0016__whole over [clr] r_0015_0010__to_r_0015_0011__be->r_0015_0013__cloud [arg0] r_0015_0004__perfect perfect r_0015_0003__a_r_0015_0005__moonlight_r_0015_0006__night->r_0015_0004__perfect [attrib] 
fof(formula,axiom,
    ? [Z_15_A_LOB_N01_2,R_15_2_WAS,R_15_1_IT,R_15_3_A_MOONLIGHT_NIGHT,R_15_4_PERFECT] :
      ( it(R_15_1_IT)
      & perfect(R_15_4_PERFECT)
      & z_15_a_lob_n01_2(Z_15_A_LOB_N01_2)
      & conj1(Z_15_A_LOB_N01_2,R_15_2_WAS)
      & was(R_15_2_WAS,R_15_1_IT,R_15_3_A_MOONLIGHT_NIGHT)
      & a_moonlight_night(R_15_3_A_MOONLIGHT_NIGHT)
      & attrib12(R_15_3_A_MOONLIGHT_NIGHT,R_15_4_PERFECT)
      & conj2(Z_15_A_LOB_N01_2,R_15_8_THERE_APPEARED)
      & ~ ! [R_15_13_CLOUD] :
            ( cloud(R_15_13_CLOUD)
           => ? [R_15_10_TO_BE,R_15_15_THE_WHOLE,R_15_18_EUROPE] :
                ( europe(R_15_18_EUROPE)
                & to_be(R_15_10_TO_BE,R_15_13_CLOUD)
                & over_clr40(R_15_10_TO_BE,R_15_15_THE_WHOLE)
                & the_whole(R_15_15_THE_WHOLE)
                & of(R_15_15_THE_WHOLE,R_15_18_EUROPE) ) ) ) ).


n15_a_lob_n01 n15_a_lob_n01__1_1_1_1_1_1 It n15_a_lob_n01__1_1_1_2_1 was n15_a_lob_n01__1_1_1_3_1_1 a n15_a_lob_n01__1_1_1_3_2_1_1 perfect n15_a_lob_n01__1_1_1_3_3_1 moonlight n15_a_lob_n01__1_1_1_3_4_1 night n15_a_lob_n01__1_1_2_1 ; n15_a_lob_n01__1_1_3_1_1_1 there n15_a_lob_n01__1_1_3_1_2_1 appeared n15_a_lob_n01__1_1_3_1_3_1_1 to n15_a_lob_n01__1_1_3_1_3_2_1 be n15_a_lob_n01__1_1_3_1_3_3_1_1 no n15_a_lob_n01__1_1_3_1_3_3_2_1 cloud n15_a_lob_n01__1_1_3_1_3_4_1_1 over n15_a_lob_n01__1_1_3_1_3_4_2_1_1 the n15_a_lob_n01__1_1_3_1_3_4_2_2_1 whole n15_a_lob_n01__1_1_3_1_3_4_2_3_1_1 of n15_a_lob_n01__1_1_3_1_3_4_2_3_2_1_1 Europe n15_a_lob_n01__1_2_1 . n15_a_lob_n01__1 IP-MAT n15_a_lob_n01__1_1 ILYR n15_a_lob_n01__1->n15_a_lob_n01__1_1 n15_a_lob_n01__1_2 PUNC n15_a_lob_n01__1->n15_a_lob_n01__1_2 n15_a_lob_n01__1_1_1 ILYR n15_a_lob_n01__1_1->n15_a_lob_n01__1_1_1 n15_a_lob_n01__1_1_2 PUNC n15_a_lob_n01__1_1->n15_a_lob_n01__1_1_2 n15_a_lob_n01__1_1_3 CONJP n15_a_lob_n01__1_1->n15_a_lob_n01__1_1_3 n15_a_lob_n01__1_1_1_1 NP-SBJ n15_a_lob_n01__1_1_1->n15_a_lob_n01__1_1_1_1 n15_a_lob_n01__1_1_1_2 BED;_Ln_ n15_a_lob_n01__1_1_1->n15_a_lob_n01__1_1_1_2 n15_a_lob_n01__1_1_1_3 NP-PRD n15_a_lob_n01__1_1_1->n15_a_lob_n01__1_1_1_3 n15_a_lob_n01__1_1_1_1_1 PRO n15_a_lob_n01__1_1_1_1->n15_a_lob_n01__1_1_1_1_1 n15_a_lob_n01__1_1_1_1_1->n15_a_lob_n01__1_1_1_1_1_1 n15_a_lob_n01__1_1_1_2->n15_a_lob_n01__1_1_1_2_1 n15_a_lob_n01__1_1_1_3_1 D n15_a_lob_n01__1_1_1_3->n15_a_lob_n01__1_1_1_3_1 n15_a_lob_n01__1_1_1_3_2 ADJP n15_a_lob_n01__1_1_1_3->n15_a_lob_n01__1_1_1_3_2 n15_a_lob_n01__1_1_1_3_3 N n15_a_lob_n01__1_1_1_3->n15_a_lob_n01__1_1_1_3_3 n15_a_lob_n01__1_1_1_3_4 N n15_a_lob_n01__1_1_1_3->n15_a_lob_n01__1_1_1_3_4 n15_a_lob_n01__1_1_1_3_1->n15_a_lob_n01__1_1_1_3_1_1 n15_a_lob_n01__1_1_1_3_2_1 ADJ n15_a_lob_n01__1_1_1_3_2->n15_a_lob_n01__1_1_1_3_2_1 n15_a_lob_n01__1_1_1_3_2_1->n15_a_lob_n01__1_1_1_3_2_1_1 n15_a_lob_n01__1_1_1_3_3->n15_a_lob_n01__1_1_1_3_3_1 n15_a_lob_n01__1_1_1_3_4->n15_a_lob_n01__1_1_1_3_4_1 n15_a_lob_n01__1_1_2->n15_a_lob_n01__1_1_2_1 n15_a_lob_n01__1_1_3_1 ILYR n15_a_lob_n01__1_1_3->n15_a_lob_n01__1_1_3_1 n15_a_lob_n01__1_1_3_1_1 EX n15_a_lob_n01__1_1_3_1->n15_a_lob_n01__1_1_3_1_1 n15_a_lob_n01__1_1_3_1_2 VBD;_cat_Vt_ n15_a_lob_n01__1_1_3_1->n15_a_lob_n01__1_1_3_1_2 n15_a_lob_n01__1_1_3_1_3 IP-INF-CAT n15_a_lob_n01__1_1_3_1->n15_a_lob_n01__1_1_3_1_3 n15_a_lob_n01__1_1_3_1_1->n15_a_lob_n01__1_1_3_1_1_1 n15_a_lob_n01__1_1_3_1_2->n15_a_lob_n01__1_1_3_1_2_1 n15_a_lob_n01__1_1_3_1_3_1 TO n15_a_lob_n01__1_1_3_1_3->n15_a_lob_n01__1_1_3_1_3_1 n15_a_lob_n01__1_1_3_1_3_2 BE;_ex_Vpr_ n15_a_lob_n01__1_1_3_1_3->n15_a_lob_n01__1_1_3_1_3_2 n15_a_lob_n01__1_1_3_1_3_3 NP-ESBJ n15_a_lob_n01__1_1_3_1_3->n15_a_lob_n01__1_1_3_1_3_3 n15_a_lob_n01__1_1_3_1_3_4 PP-CLR n15_a_lob_n01__1_1_3_1_3->n15_a_lob_n01__1_1_3_1_3_4 n15_a_lob_n01__1_1_3_1_3_1->n15_a_lob_n01__1_1_3_1_3_1_1 n15_a_lob_n01__1_1_3_1_3_2->n15_a_lob_n01__1_1_3_1_3_2_1 n15_a_lob_n01__1_1_3_1_3_3_1 Q n15_a_lob_n01__1_1_3_1_3_3->n15_a_lob_n01__1_1_3_1_3_3_1 n15_a_lob_n01__1_1_3_1_3_3_2 N n15_a_lob_n01__1_1_3_1_3_3->n15_a_lob_n01__1_1_3_1_3_3_2 n15_a_lob_n01__1_1_3_1_3_3_1->n15_a_lob_n01__1_1_3_1_3_3_1_1 n15_a_lob_n01__1_1_3_1_3_3_2->n15_a_lob_n01__1_1_3_1_3_3_2_1 n15_a_lob_n01__1_1_3_1_3_4_1 P-ROLE n15_a_lob_n01__1_1_3_1_3_4->n15_a_lob_n01__1_1_3_1_3_4_1 n15_a_lob_n01__1_1_3_1_3_4_2 NP n15_a_lob_n01__1_1_3_1_3_4->n15_a_lob_n01__1_1_3_1_3_4_2 n15_a_lob_n01__1_1_3_1_3_4_1->n15_a_lob_n01__1_1_3_1_3_4_1_1 n15_a_lob_n01__1_1_3_1_3_4_2_1 D n15_a_lob_n01__1_1_3_1_3_4_2->n15_a_lob_n01__1_1_3_1_3_4_2_1 n15_a_lob_n01__1_1_3_1_3_4_2_2 N n15_a_lob_n01__1_1_3_1_3_4_2->n15_a_lob_n01__1_1_3_1_3_4_2_2 n15_a_lob_n01__1_1_3_1_3_4_2_3 PP n15_a_lob_n01__1_1_3_1_3_4_2->n15_a_lob_n01__1_1_3_1_3_4_2_3 n15_a_lob_n01__1_1_3_1_3_4_2_1->n15_a_lob_n01__1_1_3_1_3_4_2_1_1 n15_a_lob_n01__1_1_3_1_3_4_2_2->n15_a_lob_n01__1_1_3_1_3_4_2_2_1 n15_a_lob_n01__1_1_3_1_3_4_2_3_1 P-ROLE n15_a_lob_n01__1_1_3_1_3_4_2_3->n15_a_lob_n01__1_1_3_1_3_4_2_3_1 n15_a_lob_n01__1_1_3_1_3_4_2_3_2 NP n15_a_lob_n01__1_1_3_1_3_4_2_3->n15_a_lob_n01__1_1_3_1_3_4_2_3_2 n15_a_lob_n01__1_1_3_1_3_4_2_3_1->n15_a_lob_n01__1_1_3_1_3_4_2_3_1_1 n15_a_lob_n01__1_1_3_1_3_4_2_3_2_1 NPR n15_a_lob_n01__1_1_3_1_3_4_2_3_2->n15_a_lob_n01__1_1_3_1_3_4_2_3_2_1 n15_a_lob_n01__1_1_3_1_3_4_2_3_2_1->n15_a_lob_n01__1_1_3_1_3_4_2_3_2_1_1 n15_a_lob_n01__1_2->n15_a_lob_n01__1_2_1 
( (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))