TSPC 37_a_saint_exupery

37_a_saint_exupery_1943
And the grown-up would be greatly pleased to have met such a sensible man.

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D the;{the})
                  (N grown_<hyphen>_up;{grown_up}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADVP (ADV greatly;{greatly}))
                                (ADJ;_cat_ pleased;{pleased})
                                (IP-INF (TO to;{to})
                                        (HV;_cat_Ve_ have;{have})
                                        (IP-PPL-CAT (VVN;__ met;{meet})
                                                    (NP-OB1 (ADJP (ADJ;_such_ such;{such}))
                                                            (D a;{a})
                                                            (ADJP (ADJ sensible;{sensible}))
                                                            (N man;{man}))))))
          (PUNC .))
  (ID 37_a_saint_exupery_1943))

arc(r_0037_0004__would,r_0037_0005__be,scope).
arc(r_0037_0005__be,r_0037_0007__pleased,scope).
arc(r_0037_0007__pleased,r_0037_0006__greatly,qual).
arc(r_0037_0007__pleased,r_0037_0009__have,scope).
arc(r_0037_0009__have,r_0037_0010__met,scope).
arc(r_0037_0010__met,r_0037_0002__the_r_0037_0003__grown__hyphen__up,arg0).
arc(r_0037_0010__met,r_0037_0012__a_r_0037_0014__man,arg1).
arc(r_0037_0012__a_r_0037_0014__man,r_0037_0011__such,attrib).
arc(r_0037_0012__a_r_0037_0014__man,r_0037_0013__sensible,attrib).

fof(formula,axiom,
    ? [R_0037_0006__GREATLY,R_0037_0002__THE_R_0037_0003__GROWN__HYPHEN__UP,R_0037_0011__SUCH,R_0037_0013__SENSIBLE,R_0037_0012__A_R_0037_0014__MAN,R_0037_0004__WOULD_R_0037_0005__BE_R_0037_0007__PLEASED_R_0037_0009__HAVE_R_0037_0010__MET] :
      ( r_0037_0002__the_r_0037_0003__grown__hyphen__up(R_0037_0002__THE_R_0037_0003__GROWN__HYPHEN__UP)
      & r_0037_0006__greatly(R_0037_0006__GREATLY)
      & r_0037_0011__such(R_0037_0011__SUCH)
      & r_0037_0013__sensible(R_0037_0013__SENSIBLE)
      & r_0037_0004__would_r_0037_0005__be_r_0037_0007__pleased_r_0037_0009__have_r_0037_0010__met(R_0037_0004__WOULD_R_0037_0005__BE_R_0037_0007__PLEASED_R_0037_0009__HAVE_R_0037_0010__MET)
      & has_arg1(R_0037_0004__WOULD_R_0037_0005__BE_R_0037_0007__PLEASED_R_0037_0009__HAVE_R_0037_0010__MET,R_0037_0012__A_R_0037_0014__MAN)
      & r_0037_0012__a_r_0037_0014__man(R_0037_0012__A_R_0037_0014__MAN)
      & has_attrib(R_0037_0012__A_R_0037_0014__MAN,R_0037_0013__SENSIBLE)
      & has_attrib(R_0037_0012__A_R_0037_0014__MAN,R_0037_0011__SUCH)
      & has_arg0(R_0037_0004__WOULD_R_0037_0005__BE_R_0037_0007__PLEASED_R_0037_0009__HAVE_R_0037_0010__MET,R_0037_0002__THE_R_0037_0003__GROWN__HYPHEN__UP)
      & has_qual(R_0037_0004__WOULD_R_0037_0005__BE_R_0037_0007__PLEASED_R_0037_0009__HAVE_R_0037_0010__MET,R_0037_0006__GREATLY) ) ).