Context                Previous, Next                Top


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

n58_a_lob_a01 n58_a_lob_a01__1_1_1_1 Offer n58_a_lob_a01__1_1_2_1_1 of n58_a_lob_a01__1_1_2_2_1_1 <pound>357 n58_a_lob_a01__1_1_2_2_2_1 m n58_a_lob_a01__1_2_1 is n58_a_lob_a01__1_3_1_1_1 too n58_a_lob_a01__1_3_2_1 small n58_a_lob_a01__1_4_1 . n58_a_lob_a01__1 IP-MAT n58_a_lob_a01__1_1 NP-SBJ n58_a_lob_a01__1->n58_a_lob_a01__1_1 n58_a_lob_a01__1_2 BEP;_La_ n58_a_lob_a01__1->n58_a_lob_a01__1_2 n58_a_lob_a01__1_3 ADJP-PRD n58_a_lob_a01__1->n58_a_lob_a01__1_3 n58_a_lob_a01__1_4 PUNC n58_a_lob_a01__1->n58_a_lob_a01__1_4 n58_a_lob_a01__1_1_1 N n58_a_lob_a01__1_1->n58_a_lob_a01__1_1_1 n58_a_lob_a01__1_1_2 PP n58_a_lob_a01__1_1->n58_a_lob_a01__1_1_2 n58_a_lob_a01__1_1_1->n58_a_lob_a01__1_1_1_1 n58_a_lob_a01__1_1_2_1 P-ROLE n58_a_lob_a01__1_1_2->n58_a_lob_a01__1_1_2_1 n58_a_lob_a01__1_1_2_2 NP n58_a_lob_a01__1_1_2->n58_a_lob_a01__1_1_2_2 n58_a_lob_a01__1_1_2_1->n58_a_lob_a01__1_1_2_1_1 n58_a_lob_a01__1_1_2_2_1 NUM n58_a_lob_a01__1_1_2_2->n58_a_lob_a01__1_1_2_2_1 n58_a_lob_a01__1_1_2_2_2 N n58_a_lob_a01__1_1_2_2->n58_a_lob_a01__1_1_2_2_2 n58_a_lob_a01__1_1_2_2_1->n58_a_lob_a01__1_1_2_2_1_1 n58_a_lob_a01__1_1_2_2_2->n58_a_lob_a01__1_1_2_2_2_1 n58_a_lob_a01__1_2->n58_a_lob_a01__1_2_1 n58_a_lob_a01__1_3_1 ADVP n58_a_lob_a01__1_3->n58_a_lob_a01__1_3_1 n58_a_lob_a01__1_3_2 ADJ n58_a_lob_a01__1_3->n58_a_lob_a01__1_3_2 n58_a_lob_a01__1_3_1_1 ADV n58_a_lob_a01__1_3_1->n58_a_lob_a01__1_3_1_1 n58_a_lob_a01__1_3_1_1->n58_a_lob_a01__1_3_1_1_1 n58_a_lob_a01__1_3_2->n58_a_lob_a01__1_3_2_1 n58_a_lob_a01__1_4->n58_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 58_a_lob_a01))


%3 r_0058_0007__small small r_0058_0006__too too r_0058_0007__small->r_0058_0006__too [qual] r_0058_0005__is is r_0058_0005__is->r_0058_0007__small [prd] r_0058_0001__Offer Offer r_0058_0005__is->r_0058_0001__Offer [arg0] r_0058_0003___pound_357_r_0058_0004__m _pound_357 m r_0058_0001__Offer->r_0058_0003___pound_357_r_0058_0004__m of 
arc(r_0058_0001__Offer,r_0058_0003___pound_357_r_0058_0004__m,r_0058_0002__of).
arc(r_0058_0005__is,r_0058_0001__Offer,arg0).
arc(r_0058_0005__is,r_0058_0007__small,prd).
arc(r_0058_0007__small,r_0058_0006__too,qual).


%3 r_0058_0001__Offer Offer r_0058_0003___pound_357_r_0058_0004__m _pound_357 m r_0058_0001__Offer->r_0058_0003___pound_357_r_0058_0004__m of r_0058_0005__is is r_0058_0005__is->r_0058_0001__Offer [arg0] r_0058_0007__small small r_0058_0005__is->r_0058_0007__small [prd] r_0058_0006__too too r_0058_0007__small->r_0058_0006__too [qual] 
fof(formula,axiom,
    ? [R_0058_0003___POUND_357_R_0058_0004__M,R_0058_0001__OFFER,R_0058_0006__TOO,R_0058_0007__SMALL,R_0058_0005__IS] :
      ( r_0058_0003___pound_357_r_0058_0004__m(R_0058_0003___POUND_357_R_0058_0004__M)
      & r_0058_0006__too(R_0058_0006__TOO)
      & r_0058_0005__is(R_0058_0005__IS)
      & has_prd(R_0058_0005__IS,R_0058_0007__SMALL)
      & r_0058_0007__small(R_0058_0007__SMALL)
      & has_qual(R_0058_0007__SMALL,R_0058_0006__TOO)
      & has_arg0(R_0058_0005__IS,R_0058_0001__OFFER)
      & r_0058_0001__Offer(R_0058_0001__OFFER)
      & has_r_0058_0002__of(R_0058_0001__OFFER,R_0058_0003___POUND_357_R_0058_0004__M) ) ).