Context                Previous, Next                Top


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_0007__small small r_0056_0006__too too r_0056_0007__small->r_0056_0006__too [qual] r_0056_0005__is is r_0056_0005__is->r_0056_0007__small [prd] r_0056_0001__Offer Offer r_0056_0005__is->r_0056_0001__Offer [arg0] 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 
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__1_1_1_1 Offer n56_a_lob_a01__1_1_2_1_1 of n56_a_lob_a01__1_1_2_2_1_1 <pound>357 n56_a_lob_a01__1_1_2_2_2_1 m n56_a_lob_a01__1_2_1 is n56_a_lob_a01__1_3_1_1_1 too n56_a_lob_a01__1_3_2_1 small n56_a_lob_a01__1_4_1 . n56_a_lob_a01__1 IP-MAT n56_a_lob_a01__1_1 NP-SBJ n56_a_lob_a01__1->n56_a_lob_a01__1_1 n56_a_lob_a01__1_2 BEP;_La_ n56_a_lob_a01__1->n56_a_lob_a01__1_2 n56_a_lob_a01__1_3 ADJP-PRD n56_a_lob_a01__1->n56_a_lob_a01__1_3 n56_a_lob_a01__1_4 PUNC n56_a_lob_a01__1->n56_a_lob_a01__1_4 n56_a_lob_a01__1_1_1 N n56_a_lob_a01__1_1->n56_a_lob_a01__1_1_1 n56_a_lob_a01__1_1_2 PP n56_a_lob_a01__1_1->n56_a_lob_a01__1_1_2 n56_a_lob_a01__1_1_1->n56_a_lob_a01__1_1_1_1 n56_a_lob_a01__1_1_2_1 P-ROLE n56_a_lob_a01__1_1_2->n56_a_lob_a01__1_1_2_1 n56_a_lob_a01__1_1_2_2 NP n56_a_lob_a01__1_1_2->n56_a_lob_a01__1_1_2_2 n56_a_lob_a01__1_1_2_1->n56_a_lob_a01__1_1_2_1_1 n56_a_lob_a01__1_1_2_2_1 NUM n56_a_lob_a01__1_1_2_2->n56_a_lob_a01__1_1_2_2_1 n56_a_lob_a01__1_1_2_2_2 N n56_a_lob_a01__1_1_2_2->n56_a_lob_a01__1_1_2_2_2 n56_a_lob_a01__1_1_2_2_1->n56_a_lob_a01__1_1_2_2_1_1 n56_a_lob_a01__1_1_2_2_2->n56_a_lob_a01__1_1_2_2_2_1 n56_a_lob_a01__1_2->n56_a_lob_a01__1_2_1 n56_a_lob_a01__1_3_1 ADVP n56_a_lob_a01__1_3->n56_a_lob_a01__1_3_1 n56_a_lob_a01__1_3_2 ADJ n56_a_lob_a01__1_3->n56_a_lob_a01__1_3_2 n56_a_lob_a01__1_3_1_1 ADV n56_a_lob_a01__1_3_1->n56_a_lob_a01__1_3_1_1 n56_a_lob_a01__1_3_1_1->n56_a_lob_a01__1_3_1_1_1 n56_a_lob_a01__1_3_2->n56_a_lob_a01__1_3_2_1 n56_a_lob_a01__1_4->n56_a_lob_a01__1_4_1 
( (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))