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_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 [keep_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] 
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_6 It n15_a_lob_n01_8 was n15_a_lob_n01_11 a n15_a_lob_n01_14 perfect n15_a_lob_n01_16 moonlight n15_a_lob_n01_18 night n15_a_lob_n01_20 ; n15_a_lob_n01_24 there n15_a_lob_n01_26 appeared n15_a_lob_n01_29 to n15_a_lob_n01_31 be n15_a_lob_n01_34 no n15_a_lob_n01_36 cloud n15_a_lob_n01_39 over n15_a_lob_n01_42 the n15_a_lob_n01_44 whole n15_a_lob_n01_47 of n15_a_lob_n01_50 Europe n15_a_lob_n01_52 . n15_a_lob_n01_1 IP-MAT n15_a_lob_n01_2 ILYR n15_a_lob_n01_1->n15_a_lob_n01_2 n15_a_lob_n01_51 PUNC n15_a_lob_n01_1->n15_a_lob_n01_51 n15_a_lob_n01_3 ILYR n15_a_lob_n01_2->n15_a_lob_n01_3 n15_a_lob_n01_19 PUNC n15_a_lob_n01_2->n15_a_lob_n01_19 n15_a_lob_n01_21 CONJP n15_a_lob_n01_2->n15_a_lob_n01_21 n15_a_lob_n01_4 NP-SBJ n15_a_lob_n01_3->n15_a_lob_n01_4 n15_a_lob_n01_7 BED;_Ln_ n15_a_lob_n01_3->n15_a_lob_n01_7 n15_a_lob_n01_9 NP-PRD n15_a_lob_n01_3->n15_a_lob_n01_9 n15_a_lob_n01_5 PRO n15_a_lob_n01_4->n15_a_lob_n01_5 n15_a_lob_n01_5->n15_a_lob_n01_6 n15_a_lob_n01_7->n15_a_lob_n01_8 n15_a_lob_n01_10 D n15_a_lob_n01_9->n15_a_lob_n01_10 n15_a_lob_n01_12 ADJP n15_a_lob_n01_9->n15_a_lob_n01_12 n15_a_lob_n01_15 N n15_a_lob_n01_9->n15_a_lob_n01_15 n15_a_lob_n01_17 N n15_a_lob_n01_9->n15_a_lob_n01_17 n15_a_lob_n01_10->n15_a_lob_n01_11 n15_a_lob_n01_13 ADJ n15_a_lob_n01_12->n15_a_lob_n01_13 n15_a_lob_n01_13->n15_a_lob_n01_14 n15_a_lob_n01_15->n15_a_lob_n01_16 n15_a_lob_n01_17->n15_a_lob_n01_18 n15_a_lob_n01_19->n15_a_lob_n01_20 n15_a_lob_n01_22 ILYR n15_a_lob_n01_21->n15_a_lob_n01_22 n15_a_lob_n01_23 EX n15_a_lob_n01_22->n15_a_lob_n01_23 n15_a_lob_n01_25 VBD;_cat_Vt_ n15_a_lob_n01_22->n15_a_lob_n01_25 n15_a_lob_n01_27 IP-INF-CAT n15_a_lob_n01_22->n15_a_lob_n01_27 n15_a_lob_n01_23->n15_a_lob_n01_24 n15_a_lob_n01_25->n15_a_lob_n01_26 n15_a_lob_n01_28 TO n15_a_lob_n01_27->n15_a_lob_n01_28 n15_a_lob_n01_30 BE;_ex_Vpr_ n15_a_lob_n01_27->n15_a_lob_n01_30 n15_a_lob_n01_32 NP-ESBJ n15_a_lob_n01_27->n15_a_lob_n01_32 n15_a_lob_n01_37 PP-CLR n15_a_lob_n01_27->n15_a_lob_n01_37 n15_a_lob_n01_28->n15_a_lob_n01_29 n15_a_lob_n01_30->n15_a_lob_n01_31 n15_a_lob_n01_33 Q n15_a_lob_n01_32->n15_a_lob_n01_33 n15_a_lob_n01_35 N n15_a_lob_n01_32->n15_a_lob_n01_35 n15_a_lob_n01_33->n15_a_lob_n01_34 n15_a_lob_n01_35->n15_a_lob_n01_36 n15_a_lob_n01_38 P-ROLE n15_a_lob_n01_37->n15_a_lob_n01_38 n15_a_lob_n01_40 NP n15_a_lob_n01_37->n15_a_lob_n01_40 n15_a_lob_n01_38->n15_a_lob_n01_39 n15_a_lob_n01_41 D n15_a_lob_n01_40->n15_a_lob_n01_41 n15_a_lob_n01_43 N n15_a_lob_n01_40->n15_a_lob_n01_43 n15_a_lob_n01_45 PP n15_a_lob_n01_40->n15_a_lob_n01_45 n15_a_lob_n01_41->n15_a_lob_n01_42 n15_a_lob_n01_43->n15_a_lob_n01_44 n15_a_lob_n01_46 P-ROLE n15_a_lob_n01_45->n15_a_lob_n01_46 n15_a_lob_n01_48 NP n15_a_lob_n01_45->n15_a_lob_n01_48 n15_a_lob_n01_46->n15_a_lob_n01_47 n15_a_lob_n01_49 NPR n15_a_lob_n01_48->n15_a_lob_n01_49 n15_a_lob_n01_49->n15_a_lob_n01_50 n15_a_lob_n01_51->n15_a_lob_n01_52 
( (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))