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_0021__peaks peaks r_0019_0020__lower lower r_0019_0021__peaks->r_0019_0020__lower [attrib] r_0019_0017__the_r_0019_0018__host the host r_0019_0017__the_r_0019_0018__host->r_0019_0021__peaks of r_0019_0015__recognisable recognisable r_0019_0015__recognisable->r_0019_0017__the_r_0019_0018__host among r_0019_0014__not not r_0019_0013__was was r_0019_0014__not->r_0019_0013__was [keep_scope] r_0019_0013__was->r_0019_0015__recognisable [prd] r_0019_0002__the_r_0019_0004__summit the summit r_0019_0013__was->r_0019_0002__the_r_0019_0004__summit [arg0] 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_0003__snow__hyphen__capped snow-capped r_0019_0002__the_r_0019_0004__summit->r_0019_0003__snow__hyphen__capped [attrib] r_0019_0001__Even Even r_0019_0002__the_r_0019_0004__summit->r_0019_0001__Even [qual] r_0019_0011__below below 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_0006__Mont_r_0019_0007__Blanc->r_0019_0011__below [qual] 
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__1_1_1_1_1 Even n19_a_lob_n01__1_1_2_1 the n19_a_lob_n01__1_1_3_1_1 snow-capped n19_a_lob_n01__1_1_4_1 summit n19_a_lob_n01__1_1_5_1_1 of n19_a_lob_n01__1_1_5_2_1_1 Mont n19_a_lob_n01__1_1_5_2_2_1 Blanc n19_a_lob_n01__1_1_5_2_3_1 , n19_a_lob_n01__1_1_5_2_4_1_1_1 seven n19_a_lob_n01__1_1_5_2_4_1_2_1 miles n19_a_lob_n01__1_1_5_2_4_2_1 below n19_a_lob_n01__1_2_1 , n19_a_lob_n01__1_3_1 was n19_a_lob_n01__1_4_1 not n19_a_lob_n01__1_5_1_1 recognisable n19_a_lob_n01__1_5_2_1_1 among n19_a_lob_n01__1_5_2_2_1_1 the n19_a_lob_n01__1_5_2_2_2_1 host n19_a_lob_n01__1_5_2_2_3_1_1 of n19_a_lob_n01__1_5_2_2_3_2_1_1_1 lower n19_a_lob_n01__1_5_2_2_3_2_2_1 peaks n19_a_lob_n01__1_6_1 . n19_a_lob_n01__1 IP-MAT n19_a_lob_n01__1_1 NP-SBJ n19_a_lob_n01__1->n19_a_lob_n01__1_1 n19_a_lob_n01__1_2 PUNC n19_a_lob_n01__1->n19_a_lob_n01__1_2 n19_a_lob_n01__1_3 BED;_La_ n19_a_lob_n01__1->n19_a_lob_n01__1_3 n19_a_lob_n01__1_4 NEG n19_a_lob_n01__1->n19_a_lob_n01__1_4 n19_a_lob_n01__1_5 ADJP-PRD n19_a_lob_n01__1->n19_a_lob_n01__1_5 n19_a_lob_n01__1_6 PUNC n19_a_lob_n01__1->n19_a_lob_n01__1_6 n19_a_lob_n01__1_1_1 ADVP n19_a_lob_n01__1_1->n19_a_lob_n01__1_1_1 n19_a_lob_n01__1_1_2 D n19_a_lob_n01__1_1->n19_a_lob_n01__1_1_2 n19_a_lob_n01__1_1_3 ADJP n19_a_lob_n01__1_1->n19_a_lob_n01__1_1_3 n19_a_lob_n01__1_1_4 N n19_a_lob_n01__1_1->n19_a_lob_n01__1_1_4 n19_a_lob_n01__1_1_5 PP n19_a_lob_n01__1_1->n19_a_lob_n01__1_1_5 n19_a_lob_n01__1_1_1_1 ADV n19_a_lob_n01__1_1_1->n19_a_lob_n01__1_1_1_1 n19_a_lob_n01__1_1_1_1->n19_a_lob_n01__1_1_1_1_1 n19_a_lob_n01__1_1_2->n19_a_lob_n01__1_1_2_1 n19_a_lob_n01__1_1_3_1 ADJ n19_a_lob_n01__1_1_3->n19_a_lob_n01__1_1_3_1 n19_a_lob_n01__1_1_3_1->n19_a_lob_n01__1_1_3_1_1 n19_a_lob_n01__1_1_4->n19_a_lob_n01__1_1_4_1 n19_a_lob_n01__1_1_5_1 P-ROLE n19_a_lob_n01__1_1_5->n19_a_lob_n01__1_1_5_1 n19_a_lob_n01__1_1_5_2 NP n19_a_lob_n01__1_1_5->n19_a_lob_n01__1_1_5_2 n19_a_lob_n01__1_1_5_1->n19_a_lob_n01__1_1_5_1_1 n19_a_lob_n01__1_1_5_2_1 NPR n19_a_lob_n01__1_1_5_2->n19_a_lob_n01__1_1_5_2_1 n19_a_lob_n01__1_1_5_2_2 NPR n19_a_lob_n01__1_1_5_2->n19_a_lob_n01__1_1_5_2_2 n19_a_lob_n01__1_1_5_2_3 PUNC n19_a_lob_n01__1_1_5_2->n19_a_lob_n01__1_1_5_2_3 n19_a_lob_n01__1_1_5_2_4 ADVP n19_a_lob_n01__1_1_5_2->n19_a_lob_n01__1_1_5_2_4 n19_a_lob_n01__1_1_5_2_1->n19_a_lob_n01__1_1_5_2_1_1 n19_a_lob_n01__1_1_5_2_2->n19_a_lob_n01__1_1_5_2_2_1 n19_a_lob_n01__1_1_5_2_3->n19_a_lob_n01__1_1_5_2_3_1 n19_a_lob_n01__1_1_5_2_4_1 NP n19_a_lob_n01__1_1_5_2_4->n19_a_lob_n01__1_1_5_2_4_1 n19_a_lob_n01__1_1_5_2_4_2 ADV n19_a_lob_n01__1_1_5_2_4->n19_a_lob_n01__1_1_5_2_4_2 n19_a_lob_n01__1_1_5_2_4_1_1 NUM n19_a_lob_n01__1_1_5_2_4_1->n19_a_lob_n01__1_1_5_2_4_1_1 n19_a_lob_n01__1_1_5_2_4_1_2 NS n19_a_lob_n01__1_1_5_2_4_1->n19_a_lob_n01__1_1_5_2_4_1_2 n19_a_lob_n01__1_1_5_2_4_1_1->n19_a_lob_n01__1_1_5_2_4_1_1_1 n19_a_lob_n01__1_1_5_2_4_1_2->n19_a_lob_n01__1_1_5_2_4_1_2_1 n19_a_lob_n01__1_1_5_2_4_2->n19_a_lob_n01__1_1_5_2_4_2_1 n19_a_lob_n01__1_2->n19_a_lob_n01__1_2_1 n19_a_lob_n01__1_3->n19_a_lob_n01__1_3_1 n19_a_lob_n01__1_4->n19_a_lob_n01__1_4_1 n19_a_lob_n01__1_5_1 ADJ n19_a_lob_n01__1_5->n19_a_lob_n01__1_5_1 n19_a_lob_n01__1_5_2 PP n19_a_lob_n01__1_5->n19_a_lob_n01__1_5_2 n19_a_lob_n01__1_5_1->n19_a_lob_n01__1_5_1_1 n19_a_lob_n01__1_5_2_1 P-ROLE n19_a_lob_n01__1_5_2->n19_a_lob_n01__1_5_2_1 n19_a_lob_n01__1_5_2_2 NP n19_a_lob_n01__1_5_2->n19_a_lob_n01__1_5_2_2 n19_a_lob_n01__1_5_2_1->n19_a_lob_n01__1_5_2_1_1 n19_a_lob_n01__1_5_2_2_1 D n19_a_lob_n01__1_5_2_2->n19_a_lob_n01__1_5_2_2_1 n19_a_lob_n01__1_5_2_2_2 N n19_a_lob_n01__1_5_2_2->n19_a_lob_n01__1_5_2_2_2 n19_a_lob_n01__1_5_2_2_3 PP n19_a_lob_n01__1_5_2_2->n19_a_lob_n01__1_5_2_2_3 n19_a_lob_n01__1_5_2_2_1->n19_a_lob_n01__1_5_2_2_1_1 n19_a_lob_n01__1_5_2_2_2->n19_a_lob_n01__1_5_2_2_2_1 n19_a_lob_n01__1_5_2_2_3_1 P-ROLE n19_a_lob_n01__1_5_2_2_3->n19_a_lob_n01__1_5_2_2_3_1 n19_a_lob_n01__1_5_2_2_3_2 NP n19_a_lob_n01__1_5_2_2_3->n19_a_lob_n01__1_5_2_2_3_2 n19_a_lob_n01__1_5_2_2_3_1->n19_a_lob_n01__1_5_2_2_3_1_1 n19_a_lob_n01__1_5_2_2_3_2_1 ADJP n19_a_lob_n01__1_5_2_2_3_2->n19_a_lob_n01__1_5_2_2_3_2_1 n19_a_lob_n01__1_5_2_2_3_2_2 NS n19_a_lob_n01__1_5_2_2_3_2->n19_a_lob_n01__1_5_2_2_3_2_2 n19_a_lob_n01__1_5_2_2_3_2_1_1 ADJR n19_a_lob_n01__1_5_2_2_3_2_1->n19_a_lob_n01__1_5_2_2_3_2_1_1 n19_a_lob_n01__1_5_2_2_3_2_1_1->n19_a_lob_n01__1_5_2_2_3_2_1_1_1 n19_a_lob_n01__1_5_2_2_3_2_2->n19_a_lob_n01__1_5_2_2_3_2_2_1 n19_a_lob_n01__1_6->n19_a_lob_n01__1_6_1 
( (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))