TSPC 19_a_lob

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

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

arc(r_0019_0002__the_r_0019_0004__summit,r_0019_0001__Even,qual).
arc(r_0019_0002__the_r_0019_0004__summit,r_0019_0003__snow__hyphen__capped,attrib).
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,qual).
arc(r_0019_0011__below,r_0019_0009__seven_r_0019_0010__miles,nim).
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,attrib).

fof(formula,axiom,
    ~ ? [R_0019_0001__EVEN,R_0019_0003__SNOW__HYPHEN__CAPPED,R_0019_0009__SEVEN_R_0019_0010__MILES,R_0019_0011__BELOW,R_0019_0006__MONT_R_0019_0007__BLANC,R_0019_0002__THE_R_0019_0004__SUMMIT,R_0019_0020__LOWER,R_0019_0021__PEAKS,R_0019_0017__THE_R_0019_0018__HOST,R_0019_0015__RECOGNISABLE,R_0019_0013__WAS] :
        ( r_0019_0001__Even(R_0019_0001__EVEN)
        & r_0019_0003__snow__hyphen__capped(R_0019_0003__SNOW__HYPHEN__CAPPED)
        & r_0019_0009__seven_r_0019_0010__miles(R_0019_0009__SEVEN_R_0019_0010__MILES)
        & r_0019_0020__lower(R_0019_0020__LOWER)
        & r_0019_0013__was(R_0019_0013__WAS)
        & has_prd(R_0019_0013__WAS,R_0019_0015__RECOGNISABLE)
        & r_0019_0015__recognisable(R_0019_0015__RECOGNISABLE)
        & has_r_0019_0016__among(R_0019_0015__RECOGNISABLE,R_0019_0017__THE_R_0019_0018__HOST)
        & r_0019_0017__the_r_0019_0018__host(R_0019_0017__THE_R_0019_0018__HOST)
        & has_r_0019_0019__of(R_0019_0017__THE_R_0019_0018__HOST,R_0019_0021__PEAKS)
        & r_0019_0021__peaks(R_0019_0021__PEAKS)
        & has_attrib(R_0019_0021__PEAKS,R_0019_0020__LOWER)
        & has_arg0(R_0019_0013__WAS,R_0019_0002__THE_R_0019_0004__SUMMIT)
        & r_0019_0002__the_r_0019_0004__summit(R_0019_0002__THE_R_0019_0004__SUMMIT)
        & has_r_0019_0005__of(R_0019_0002__THE_R_0019_0004__SUMMIT,R_0019_0006__MONT_R_0019_0007__BLANC)
        & r_0019_0006__Mont_r_0019_0007__Blanc(R_0019_0006__MONT_R_0019_0007__BLANC)
        & has_qual(R_0019_0006__MONT_R_0019_0007__BLANC,R_0019_0011__BELOW)
        & r_0019_0011__below(R_0019_0011__BELOW)
        & has_nim(R_0019_0011__BELOW,R_0019_0009__SEVEN_R_0019_0010__MILES)
        & has_attrib(R_0019_0002__THE_R_0019_0004__SUMMIT,R_0019_0003__SNOW__HYPHEN__CAPPED)
        & has_qual(R_0019_0002__THE_R_0019_0004__SUMMIT,R_0019_0001__EVEN) ) ).