56_a_lob_a01
Offer of <pound>357 m is too small.

%3 r_0056_0001__Offer Offer r_0056_0003___pound_357_r_0056_0004__m pound 357 m r_0056_0001__Offer->r_0056_0003___pound_357_r_0056_0004__m of r_0056_0005__is is r_0056_0005__is->r_0056_0001__Offer [arg0] r_0056_0007__small small r_0056_0005__is->r_0056_0007__small [prd] r_0056_0006__too too r_0056_0007__small->r_0056_0006__too [qual]
arc(r_0056_0001__Offer, r_0056_0003___pound_357_r_0056_0004__m, r_0056_0002__of).
arc(r_0056_0005__is, r_0056_0001__Offer, arg0).
arc(r_0056_0005__is, r_0056_0007__small, prd).
arc(r_0056_0007__small, r_0056_0006__too, qual16).



%3 r_0056_0001__Offer Offer r_0056_0003___pound_357_r_0056_0004__m pound 357 m r_0056_0001__Offer->r_0056_0003___pound_357_r_0056_0004__m of r_0056_0005__is is r_0056_0005__is->r_0056_0001__Offer [arg0] r_0056_0007__small small r_0056_0005__is->r_0056_0007__small [prd] r_0056_0006__too too r_0056_0007__small->r_0056_0006__too [qual]
fof(formula,axiom,
    ? [R_56_5_IS,R_56_1_OFFER,R_56_3__POUND_357_M,R_56_7_SMALL,R_56_6_TOO] :
      ( _pound_357_m(R_56_3__POUND_357_M)
      & too(R_56_6_TOO)
      & is(R_56_5_IS,R_56_1_OFFER,R_56_7_SMALL)
      & offer(R_56_1_OFFER)
      & of(R_56_1_OFFER,R_56_3__POUND_357_M)
      & small(R_56_7_SMALL)
      & qual16(R_56_7_SMALL,R_56_6_TOO) ) ).



n56_a_lob_a01 n56_a_lob_a01_4 Offer n56_a_lob_a01_7 of n56_a_lob_a01_10 <pound>357 n56_a_lob_a01_12 m n56_a_lob_a01_14 is n56_a_lob_a01_18 too n56_a_lob_a01_20 small n56_a_lob_a01_22 . n56_a_lob_a01_1 IP-MAT n56_a_lob_a01_2 NP-SBJ n56_a_lob_a01_1->n56_a_lob_a01_2 n56_a_lob_a01_13 BEP;_La_ n56_a_lob_a01_1->n56_a_lob_a01_13 n56_a_lob_a01_15 ADJP-PRD n56_a_lob_a01_1->n56_a_lob_a01_15 n56_a_lob_a01_21 PUNC n56_a_lob_a01_1->n56_a_lob_a01_21 n56_a_lob_a01_3 N n56_a_lob_a01_2->n56_a_lob_a01_3 n56_a_lob_a01_5 PP n56_a_lob_a01_2->n56_a_lob_a01_5 n56_a_lob_a01_3->n56_a_lob_a01_4 n56_a_lob_a01_6 P-ROLE n56_a_lob_a01_5->n56_a_lob_a01_6 n56_a_lob_a01_8 NP n56_a_lob_a01_5->n56_a_lob_a01_8 n56_a_lob_a01_6->n56_a_lob_a01_7 n56_a_lob_a01_9 NUM n56_a_lob_a01_8->n56_a_lob_a01_9 n56_a_lob_a01_11 N n56_a_lob_a01_8->n56_a_lob_a01_11 n56_a_lob_a01_9->n56_a_lob_a01_10 n56_a_lob_a01_11->n56_a_lob_a01_12 n56_a_lob_a01_13->n56_a_lob_a01_14 n56_a_lob_a01_16 ADVP n56_a_lob_a01_15->n56_a_lob_a01_16 n56_a_lob_a01_19 ADJ n56_a_lob_a01_15->n56_a_lob_a01_19 n56_a_lob_a01_17 ADV n56_a_lob_a01_16->n56_a_lob_a01_17 n56_a_lob_a01_17->n56_a_lob_a01_18 n56_a_lob_a01_19->n56_a_lob_a01_20 n56_a_lob_a01_21->n56_a_lob_a01_22
( (IP-MAT (NP-SBJ (N Offer;{offer})
                  (PP (P-ROLE of;{of})
                      (NP (NUM <pound>357)
                          (N m))))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV too;{too}))
                    (ADJ small;{small}))
          (PUNC .))
  (ID 56_a_lob_a01))