Context                Previous, Next                Top


19_a_lob_n01
Even the snow-capped summit of Mont Blanc, seven miles below, was not recognisable among the host of lower peaks.

%3 r_0019_0002__the_r_0019_0004__summit the summit r_0019_0001__Even Even r_0019_0002__the_r_0019_0004__summit->r_0019_0001__Even [qual] r_0019_0003__snow__hyphen__capped snow-capped r_0019_0002__the_r_0019_0004__summit->r_0019_0003__snow__hyphen__capped [attrib] r_0019_0006__Mont_r_0019_0007__Blanc Mont Blanc r_0019_0002__the_r_0019_0004__summit->r_0019_0006__Mont_r_0019_0007__Blanc of r_0019_0011__below below r_0019_0006__Mont_r_0019_0007__Blanc->r_0019_0011__below [qual] r_0019_0009__seven_r_0019_0010__miles seven miles r_0019_0011__below->r_0019_0009__seven_r_0019_0010__miles [nim] r_0019_0013__was was r_0019_0013__was->r_0019_0002__the_r_0019_0004__summit [arg0] r_0019_0015__recognisable recognisable r_0019_0013__was->r_0019_0015__recognisable [prd] r_0019_0017__the_r_0019_0018__host the host r_0019_0015__recognisable->r_0019_0017__the_r_0019_0018__host among r_0019_0014__not not r_0019_0014__not->r_0019_0013__was [keep_scope] r_0019_0021__peaks peaks r_0019_0017__the_r_0019_0018__host->r_0019_0021__peaks of r_0019_0020__lower lower r_0019_0021__peaks->r_0019_0020__lower [attrib] 
arc(r_0019_0002__the_r_0019_0004__summit, r_0019_0001__Even, qual3).
arc(r_0019_0002__the_r_0019_0004__summit, r_0019_0003__snow__hyphen__capped, attrib8).
arc(r_0019_0002__the_r_0019_0004__summit, r_0019_0006__Mont_r_0019_0007__Blanc, r_0019_0005__of).
arc(r_0019_0006__Mont_r_0019_0007__Blanc, r_0019_0011__below, qual23).
arc(r_0019_0011__below, r_0019_0009__seven_r_0019_0010__miles, nim24).
arc(r_0019_0013__was, r_0019_0002__the_r_0019_0004__summit, arg0).
arc(r_0019_0013__was, r_0019_0015__recognisable, prd).
arc(r_0019_0014__not, r_0019_0013__was, keep_scope).
arc(r_0019_0015__recognisable, r_0019_0017__the_r_0019_0018__host, r_0019_0016__among).
arc(r_0019_0017__the_r_0019_0018__host, r_0019_0021__peaks, r_0019_0019__of).
arc(r_0019_0021__peaks, r_0019_0020__lower, attrib52).


%3 r_0019_0002__the_r_0019_0004__summit the summit r_0019_0001__Even Even r_0019_0002__the_r_0019_0004__summit->r_0019_0001__Even [qual] r_0019_0003__snow__hyphen__capped snow-capped r_0019_0002__the_r_0019_0004__summit->r_0019_0003__snow__hyphen__capped [attrib] r_0019_0006__Mont_r_0019_0007__Blanc Mont Blanc r_0019_0002__the_r_0019_0004__summit->r_0019_0006__Mont_r_0019_0007__Blanc of r_0019_0011__below below r_0019_0006__Mont_r_0019_0007__Blanc->r_0019_0011__below [qual] r_0019_0009__seven_r_0019_0010__miles seven miles r_0019_0011__below->r_0019_0009__seven_r_0019_0010__miles [nim] r_0019_0013__was was r_0019_0013__was->r_0019_0002__the_r_0019_0004__summit [arg0] r_0019_0015__recognisable recognisable r_0019_0013__was->r_0019_0015__recognisable [prd] r_0019_0017__the_r_0019_0018__host the host r_0019_0015__recognisable->r_0019_0017__the_r_0019_0018__host among r_0019_0014__not not r_0019_0014__not->r_0019_0013__was [keep_scope] r_0019_0021__peaks peaks r_0019_0017__the_r_0019_0018__host->r_0019_0021__peaks of r_0019_0020__lower lower r_0019_0021__peaks->r_0019_0020__lower [attrib] 
fof(formula,axiom,
    ~ ? [R_19_13_WAS,R_19_2_THE_SUMMIT,R_19_3_SNOW_HYPHEN_CAPPED,R_19_1_EVEN,R_19_6_MONT_BLANC,R_19_11_BELOW,R_19_9_SEVEN_MILES,R_19_15_RECOGNISABLE,R_19_17_THE_HOST,R_19_21_PEAKS,R_19_20_LOWER] :
        ( snow_hyphen_capped(R_19_3_SNOW_HYPHEN_CAPPED)
        & even(R_19_1_EVEN)
        & seven_miles(R_19_9_SEVEN_MILES)
        & lower(R_19_20_LOWER)
        & was(R_19_13_WAS,R_19_2_THE_SUMMIT,R_19_15_RECOGNISABLE)
        & the_summit(R_19_2_THE_SUMMIT)
        & attrib8(R_19_2_THE_SUMMIT,R_19_3_SNOW_HYPHEN_CAPPED)
        & qual3(R_19_2_THE_SUMMIT,R_19_1_EVEN)
        & of(R_19_2_THE_SUMMIT,R_19_6_MONT_BLANC)
        & mont_Blanc(R_19_6_MONT_BLANC)
        & qual23(R_19_6_MONT_BLANC,R_19_11_BELOW)
        & below(R_19_11_BELOW)
        & nim24(R_19_11_BELOW,R_19_9_SEVEN_MILES)
        & recognisable(R_19_15_RECOGNISABLE)
        & among(R_19_15_RECOGNISABLE,R_19_17_THE_HOST)
        & the_host(R_19_17_THE_HOST)
        & of(R_19_17_THE_HOST,R_19_21_PEAKS)
        & peaks(R_19_21_PEAKS)
        & attrib52(R_19_21_PEAKS,R_19_20_LOWER) ) ).


n19_a_lob_n01 n19_a_lob_n01_5 Even n19_a_lob_n01_7 the n19_a_lob_n01_10 snow-capped n19_a_lob_n01_12 summit n19_a_lob_n01_15 of n19_a_lob_n01_18 Mont n19_a_lob_n01_20 Blanc n19_a_lob_n01_22 , n19_a_lob_n01_26 seven n19_a_lob_n01_28 miles n19_a_lob_n01_30 below n19_a_lob_n01_32 , n19_a_lob_n01_34 was n19_a_lob_n01_36 not n19_a_lob_n01_39 recognisable n19_a_lob_n01_42 among n19_a_lob_n01_45 the n19_a_lob_n01_47 host n19_a_lob_n01_50 of n19_a_lob_n01_54 lower n19_a_lob_n01_56 peaks n19_a_lob_n01_58 . n19_a_lob_n01_1 IP-MAT n19_a_lob_n01_2 NP-SBJ n19_a_lob_n01_1->n19_a_lob_n01_2 n19_a_lob_n01_31 PUNC n19_a_lob_n01_1->n19_a_lob_n01_31 n19_a_lob_n01_33 BED;_La_ n19_a_lob_n01_1->n19_a_lob_n01_33 n19_a_lob_n01_35 NEG n19_a_lob_n01_1->n19_a_lob_n01_35 n19_a_lob_n01_37 ADJP-PRD n19_a_lob_n01_1->n19_a_lob_n01_37 n19_a_lob_n01_57 PUNC n19_a_lob_n01_1->n19_a_lob_n01_57 n19_a_lob_n01_3 ADVP n19_a_lob_n01_2->n19_a_lob_n01_3 n19_a_lob_n01_6 D n19_a_lob_n01_2->n19_a_lob_n01_6 n19_a_lob_n01_8 ADJP n19_a_lob_n01_2->n19_a_lob_n01_8 n19_a_lob_n01_11 N n19_a_lob_n01_2->n19_a_lob_n01_11 n19_a_lob_n01_13 PP n19_a_lob_n01_2->n19_a_lob_n01_13 n19_a_lob_n01_4 ADV n19_a_lob_n01_3->n19_a_lob_n01_4 n19_a_lob_n01_4->n19_a_lob_n01_5 n19_a_lob_n01_6->n19_a_lob_n01_7 n19_a_lob_n01_9 ADJ n19_a_lob_n01_8->n19_a_lob_n01_9 n19_a_lob_n01_9->n19_a_lob_n01_10 n19_a_lob_n01_11->n19_a_lob_n01_12 n19_a_lob_n01_14 P-ROLE n19_a_lob_n01_13->n19_a_lob_n01_14 n19_a_lob_n01_16 NP n19_a_lob_n01_13->n19_a_lob_n01_16 n19_a_lob_n01_14->n19_a_lob_n01_15 n19_a_lob_n01_17 NPR n19_a_lob_n01_16->n19_a_lob_n01_17 n19_a_lob_n01_19 NPR n19_a_lob_n01_16->n19_a_lob_n01_19 n19_a_lob_n01_21 PUNC n19_a_lob_n01_16->n19_a_lob_n01_21 n19_a_lob_n01_23 ADVP n19_a_lob_n01_16->n19_a_lob_n01_23 n19_a_lob_n01_17->n19_a_lob_n01_18 n19_a_lob_n01_19->n19_a_lob_n01_20 n19_a_lob_n01_21->n19_a_lob_n01_22 n19_a_lob_n01_24 NP n19_a_lob_n01_23->n19_a_lob_n01_24 n19_a_lob_n01_29 ADV n19_a_lob_n01_23->n19_a_lob_n01_29 n19_a_lob_n01_25 NUM n19_a_lob_n01_24->n19_a_lob_n01_25 n19_a_lob_n01_27 NS n19_a_lob_n01_24->n19_a_lob_n01_27 n19_a_lob_n01_25->n19_a_lob_n01_26 n19_a_lob_n01_27->n19_a_lob_n01_28 n19_a_lob_n01_29->n19_a_lob_n01_30 n19_a_lob_n01_31->n19_a_lob_n01_32 n19_a_lob_n01_33->n19_a_lob_n01_34 n19_a_lob_n01_35->n19_a_lob_n01_36 n19_a_lob_n01_38 ADJ n19_a_lob_n01_37->n19_a_lob_n01_38 n19_a_lob_n01_40 PP n19_a_lob_n01_37->n19_a_lob_n01_40 n19_a_lob_n01_38->n19_a_lob_n01_39 n19_a_lob_n01_41 P-ROLE n19_a_lob_n01_40->n19_a_lob_n01_41 n19_a_lob_n01_43 NP n19_a_lob_n01_40->n19_a_lob_n01_43 n19_a_lob_n01_41->n19_a_lob_n01_42 n19_a_lob_n01_44 D n19_a_lob_n01_43->n19_a_lob_n01_44 n19_a_lob_n01_46 N n19_a_lob_n01_43->n19_a_lob_n01_46 n19_a_lob_n01_48 PP n19_a_lob_n01_43->n19_a_lob_n01_48 n19_a_lob_n01_44->n19_a_lob_n01_45 n19_a_lob_n01_46->n19_a_lob_n01_47 n19_a_lob_n01_49 P-ROLE n19_a_lob_n01_48->n19_a_lob_n01_49 n19_a_lob_n01_51 NP n19_a_lob_n01_48->n19_a_lob_n01_51 n19_a_lob_n01_49->n19_a_lob_n01_50 n19_a_lob_n01_52 ADJP n19_a_lob_n01_51->n19_a_lob_n01_52 n19_a_lob_n01_55 NS n19_a_lob_n01_51->n19_a_lob_n01_55 n19_a_lob_n01_53 ADJR n19_a_lob_n01_52->n19_a_lob_n01_53 n19_a_lob_n01_53->n19_a_lob_n01_54 n19_a_lob_n01_55->n19_a_lob_n01_56 n19_a_lob_n01_57->n19_a_lob_n01_58 
( (IP-MAT (NP-SBJ (ADVP (ADV Even;{even}))
                  (D the;{the})
                  (ADJP (ADJ snow_<hyphen>_capped;{snow_capped}))
                  (N summit;{summit})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Mont;{Mont})
                          (NPR Blanc;{Blanc})
                          (PUNC ,)
                          (ADVP (NP (NUM seven;{seven})
                                    (NS miles;{mile}))
                                (ADV below;{below})))))
          (PUNC ,)
          (BED;_La_ was;{be})
          (NEG not;{not})
          (ADJP-PRD (ADJ recognisable;{recognisable})
                    (PP (P-ROLE among;{among})
                        (NP (D the;{the})
                            (N host;{host})
                            (PP (P-ROLE of;{of})
                                (NP (ADJP (ADJR lower;{low}))
                                    (NS peaks;{peak}))))))
          (PUNC .))
  (ID 19_a_lob_n01))