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

%3 r_0037_0001__And_r_0037_0004__would And would r_0037_0005__be be r_0037_0001__And_r_0037_0004__would->r_0037_0005__be [scope] r_0037_0002__the_r_0037_0003__grown__hyphen__up the grown-up r_0037_0005__be->r_0037_0002__the_r_0037_0003__grown__hyphen__up [arg0] r_0037_0007__pleased pleased r_0037_0005__be->r_0037_0007__pleased [prd] r_0037_0006__greatly greatly r_0037_0007__pleased->r_0037_0006__greatly [qual] r_0037_0008__to_r_0037_0009__have to have r_0037_0007__pleased->r_0037_0008__to_r_0037_0009__have [emb] r_0037_0010__met met r_0037_0008__to_r_0037_0009__have->r_0037_0010__met [scope] r_0037_0012__a_r_0037_0014__man a man r_0037_0010__met->r_0037_0012__a_r_0037_0014__man [arg1] z_000_37_a_saint_exupery_1943_20 r_0037_0010__met->z_000_37_a_saint_exupery_1943_20 [arg0] r_0037_0011__such such r_0037_0012__a_r_0037_0014__man->r_0037_0011__such [attrib] r_0037_0013__sensible sensible r_0037_0012__a_r_0037_0014__man->r_0037_0013__sensible [attrib]
arc(r_0037_0001__And_r_0037_0004__would, r_0037_0005__be, scope).
arc(r_0037_0005__be, r_0037_0002__the_r_0037_0003__grown__hyphen__up, arg0).
arc(r_0037_0005__be, r_0037_0007__pleased, prd).
arc(r_0037_0007__pleased, r_0037_0006__greatly, qual15).
arc(r_0037_0007__pleased, r_0037_0008__to_r_0037_0009__have, emb20).
arc(r_0037_0008__to_r_0037_0009__have, r_0037_0010__met, scope).
arc(r_0037_0010__met, r_0037_0012__a_r_0037_0014__man, arg1).
arc(r_0037_0010__met, z_000_37_a_saint_exupery_1943_20, arg0).
arc(r_0037_0012__a_r_0037_0014__man, r_0037_0011__such, attrib29).
arc(r_0037_0012__a_r_0037_0014__man, r_0037_0013__sensible, attrib34).



%3 r_0037_0012__a_r_0037_0014__man a man r_0037_0013__sensible sensible r_0037_0012__a_r_0037_0014__man->r_0037_0013__sensible [attrib] r_0037_0011__such such r_0037_0012__a_r_0037_0014__man->r_0037_0011__such [attrib] r_0037_0008__to_r_0037_0009__have_r_0037_0010__met to have met r_0037_0008__to_r_0037_0009__have_r_0037_0010__met->r_0037_0012__a_r_0037_0014__man [arg1] z_000_37_a_saint_exupery_1943_20 r_0037_0008__to_r_0037_0009__have_r_0037_0010__met->z_000_37_a_saint_exupery_1943_20 [arg0] r_0037_0007__pleased pleased r_0037_0007__pleased->r_0037_0008__to_r_0037_0009__have_r_0037_0010__met [emb] r_0037_0006__greatly greatly r_0037_0007__pleased->r_0037_0006__greatly [qual] r_0037_0001__And_r_0037_0004__would_r_0037_0005__be And would be r_0037_0001__And_r_0037_0004__would_r_0037_0005__be->r_0037_0007__pleased [prd] r_0037_0002__the_r_0037_0003__grown__hyphen__up the grown-up r_0037_0001__And_r_0037_0004__would_r_0037_0005__be->r_0037_0002__the_r_0037_0003__grown__hyphen__up [arg0]
fof(formula,axiom,
    ? [R_37_1_AND_WOULD_BE,R_37_2_THE_GROWN_HYPHEN_UP,R_37_7_PLEASED,R_37_8_TO_HAVE_MET,Z_37_A_SAINT_EXUPERY_1943_20,R_37_12_A_MAN,R_37_11_SUCH,R_37_13_SENSIBLE,R_37_6_GREATLY] :
      ( the_grown_hyphen_up(R_37_2_THE_GROWN_HYPHEN_UP)
      & such(R_37_11_SUCH)
      & sensible(R_37_13_SENSIBLE)
      & greatly(R_37_6_GREATLY)
      & and_would_be(R_37_1_AND_WOULD_BE,R_37_2_THE_GROWN_HYPHEN_UP,R_37_7_PLEASED)
      & pleased(R_37_7_PLEASED)
      & emb20(R_37_7_PLEASED,R_37_8_TO_HAVE_MET)
      & to_have_met(R_37_8_TO_HAVE_MET,Z_37_A_SAINT_EXUPERY_1943_20,R_37_12_A_MAN)
      & a_man(R_37_12_A_MAN)
      & attrib29(R_37_12_A_MAN,R_37_11_SUCH)
      & attrib34(R_37_12_A_MAN,R_37_13_SENSIBLE)
      & qual15(R_37_7_PLEASED,R_37_6_GREATLY) ) ).



n37_a_saint_exupery_1943 n37_a_saint_exupery_1943__1_1_1 And n37_a_saint_exupery_1943__1_2_1_1 the n37_a_saint_exupery_1943__1_2_2_1 grown-up n37_a_saint_exupery_1943__1_3_1 would n37_a_saint_exupery_1943__1_4_1_1 be n37_a_saint_exupery_1943__1_4_2_1_1_1 greatly n37_a_saint_exupery_1943__1_4_2_2_1 pleased n37_a_saint_exupery_1943__1_4_2_3_1_1 to n37_a_saint_exupery_1943__1_4_2_3_2_1 have n37_a_saint_exupery_1943__1_4_2_3_3_1_1 met n37_a_saint_exupery_1943__1_4_2_3_3_2_1_1_1 such n37_a_saint_exupery_1943__1_4_2_3_3_2_2_1 a n37_a_saint_exupery_1943__1_4_2_3_3_2_3_1_1 sensible n37_a_saint_exupery_1943__1_4_2_3_3_2_4_1 man n37_a_saint_exupery_1943__1_5_1 . n37_a_saint_exupery_1943__1 IP-MAT n37_a_saint_exupery_1943__1_1 CONJ;_cl_ n37_a_saint_exupery_1943__1->n37_a_saint_exupery_1943__1_1 n37_a_saint_exupery_1943__1_2 NP-SBJ n37_a_saint_exupery_1943__1->n37_a_saint_exupery_1943__1_2 n37_a_saint_exupery_1943__1_3 MD;_cat_Vi_ n37_a_saint_exupery_1943__1->n37_a_saint_exupery_1943__1_3 n37_a_saint_exupery_1943__1_4 IP-INF-CAT n37_a_saint_exupery_1943__1->n37_a_saint_exupery_1943__1_4 n37_a_saint_exupery_1943__1_5 PUNC n37_a_saint_exupery_1943__1->n37_a_saint_exupery_1943__1_5 n37_a_saint_exupery_1943__1_1->n37_a_saint_exupery_1943__1_1_1 n37_a_saint_exupery_1943__1_2_1 D n37_a_saint_exupery_1943__1_2->n37_a_saint_exupery_1943__1_2_1 n37_a_saint_exupery_1943__1_2_2 N n37_a_saint_exupery_1943__1_2->n37_a_saint_exupery_1943__1_2_2 n37_a_saint_exupery_1943__1_2_1->n37_a_saint_exupery_1943__1_2_1_1 n37_a_saint_exupery_1943__1_2_2->n37_a_saint_exupery_1943__1_2_2_1 n37_a_saint_exupery_1943__1_3->n37_a_saint_exupery_1943__1_3_1 n37_a_saint_exupery_1943__1_4_1 BE;_La_ n37_a_saint_exupery_1943__1_4->n37_a_saint_exupery_1943__1_4_1 n37_a_saint_exupery_1943__1_4_2 ADJP-PRD n37_a_saint_exupery_1943__1_4->n37_a_saint_exupery_1943__1_4_2 n37_a_saint_exupery_1943__1_4_1->n37_a_saint_exupery_1943__1_4_1_1 n37_a_saint_exupery_1943__1_4_2_1 ADVP n37_a_saint_exupery_1943__1_4_2->n37_a_saint_exupery_1943__1_4_2_1 n37_a_saint_exupery_1943__1_4_2_2 ADJ;_cat_ n37_a_saint_exupery_1943__1_4_2->n37_a_saint_exupery_1943__1_4_2_2 n37_a_saint_exupery_1943__1_4_2_3 IP-INF n37_a_saint_exupery_1943__1_4_2->n37_a_saint_exupery_1943__1_4_2_3 n37_a_saint_exupery_1943__1_4_2_1_1 ADV n37_a_saint_exupery_1943__1_4_2_1->n37_a_saint_exupery_1943__1_4_2_1_1 n37_a_saint_exupery_1943__1_4_2_1_1->n37_a_saint_exupery_1943__1_4_2_1_1_1 n37_a_saint_exupery_1943__1_4_2_2->n37_a_saint_exupery_1943__1_4_2_2_1 n37_a_saint_exupery_1943__1_4_2_3_1 TO n37_a_saint_exupery_1943__1_4_2_3->n37_a_saint_exupery_1943__1_4_2_3_1 n37_a_saint_exupery_1943__1_4_2_3_2 HV;_cat_Ve_ n37_a_saint_exupery_1943__1_4_2_3->n37_a_saint_exupery_1943__1_4_2_3_2 n37_a_saint_exupery_1943__1_4_2_3_3 IP-PPL-CAT n37_a_saint_exupery_1943__1_4_2_3->n37_a_saint_exupery_1943__1_4_2_3_3 n37_a_saint_exupery_1943__1_4_2_3_1->n37_a_saint_exupery_1943__1_4_2_3_1_1 n37_a_saint_exupery_1943__1_4_2_3_2->n37_a_saint_exupery_1943__1_4_2_3_2_1 n37_a_saint_exupery_1943__1_4_2_3_3_1 VVN;__ n37_a_saint_exupery_1943__1_4_2_3_3->n37_a_saint_exupery_1943__1_4_2_3_3_1 n37_a_saint_exupery_1943__1_4_2_3_3_2 NP-OB1 n37_a_saint_exupery_1943__1_4_2_3_3->n37_a_saint_exupery_1943__1_4_2_3_3_2 n37_a_saint_exupery_1943__1_4_2_3_3_1->n37_a_saint_exupery_1943__1_4_2_3_3_1_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_1 ADJP n37_a_saint_exupery_1943__1_4_2_3_3_2->n37_a_saint_exupery_1943__1_4_2_3_3_2_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_2 D n37_a_saint_exupery_1943__1_4_2_3_3_2->n37_a_saint_exupery_1943__1_4_2_3_3_2_2 n37_a_saint_exupery_1943__1_4_2_3_3_2_3 ADJP n37_a_saint_exupery_1943__1_4_2_3_3_2->n37_a_saint_exupery_1943__1_4_2_3_3_2_3 n37_a_saint_exupery_1943__1_4_2_3_3_2_4 N n37_a_saint_exupery_1943__1_4_2_3_3_2->n37_a_saint_exupery_1943__1_4_2_3_3_2_4 n37_a_saint_exupery_1943__1_4_2_3_3_2_1_1 ADJ;_such_ n37_a_saint_exupery_1943__1_4_2_3_3_2_1->n37_a_saint_exupery_1943__1_4_2_3_3_2_1_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_1_1->n37_a_saint_exupery_1943__1_4_2_3_3_2_1_1_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_2->n37_a_saint_exupery_1943__1_4_2_3_3_2_2_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_3_1 ADJ n37_a_saint_exupery_1943__1_4_2_3_3_2_3->n37_a_saint_exupery_1943__1_4_2_3_3_2_3_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_3_1->n37_a_saint_exupery_1943__1_4_2_3_3_2_3_1_1 n37_a_saint_exupery_1943__1_4_2_3_3_2_4->n37_a_saint_exupery_1943__1_4_2_3_3_2_4_1 n37_a_saint_exupery_1943__1_5->n37_a_saint_exupery_1943__1_5_1
( (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))