Context                Previous, Next                Top


35_a_loosechange
Only I don't want all those coins.’

%3 r_0035_0003__do_r_0035_0005__want do want r_0035_0001__Only Only r_0035_0003__do_r_0035_0005__want->r_0035_0001__Only [nim] r_0035_0002__I I r_0035_0003__do_r_0035_0005__want->r_0035_0002__I [arg0] r_0035_0007__those_r_0035_0008__coins those coins r_0035_0003__do_r_0035_0005__want->r_0035_0007__those_r_0035_0008__coins [arg1] r_0035_0004__n_apos_t n't r_0035_0006__all_quant all [quant] r_0035_0004__n_apos_t->r_0035_0006__all_quant [keep_scope] r_0035_0006__all_quant->r_0035_0003__do_r_0035_0005__want [scope] r_0035_0006__all_quant->r_0035_0007__those_r_0035_0008__coins [restriction] 
arc(r_0035_0003__do_r_0035_0005__want, r_0035_0001__Only, nim2).
arc(r_0035_0003__do_r_0035_0005__want, r_0035_0002__I, arg0).
arc(r_0035_0003__do_r_0035_0005__want, r_0035_0007__those_r_0035_0008__coins, arg1).
arc(r_0035_0004__n_apos_t, r_0035_0006__all_quant, keep_scope).
arc(r_0035_0006__all_quant, r_0035_0003__do_r_0035_0005__want, scope).
arc(r_0035_0006__all_quant, r_0035_0007__those_r_0035_0008__coins, restriction).


%3 r_0035_0006__all_quant all [quant] r_0035_0007__those_r_0035_0008__coins those coins r_0035_0006__all_quant->r_0035_0007__those_r_0035_0008__coins [restriction] r_0035_0003__do_r_0035_0005__want do want r_0035_0006__all_quant->r_0035_0003__do_r_0035_0005__want [scope] r_0035_0003__do_r_0035_0005__want->r_0035_0007__those_r_0035_0008__coins [arg1] r_0035_0002__I I r_0035_0003__do_r_0035_0005__want->r_0035_0002__I [arg0] r_0035_0001__Only Only r_0035_0003__do_r_0035_0005__want->r_0035_0001__Only [nim] r_0035_0004__n_apos_t n't r_0035_0004__n_apos_t->r_0035_0006__all_quant [keep_scope] 
fof(formula,axiom,
    ~ ! [R_35_7_THOSE_COINS] :
        ( those_coins(R_35_7_THOSE_COINS)
       => ? [R_35_3_DO_WANT,R_35_2_I,R_35_1_ONLY] :
            ( i(R_35_2_I)
            & only(R_35_1_ONLY)
            & do_want(R_35_3_DO_WANT,R_35_2_I,R_35_7_THOSE_COINS)
            & nim2(R_35_3_DO_WANT,R_35_1_ONLY) ) ) ).


n35_a_loosechange n35_a_loosechange__1_1_1_1 Only n35_a_loosechange__1_2_1_1 I n35_a_loosechange__1_3_1 do n35_a_loosechange__1_4_1 n't n35_a_loosechange__1_5_1 want n35_a_loosechange__1_6_1_1 all n35_a_loosechange__1_6_2_1 those n35_a_loosechange__1_6_3_1 coins n35_a_loosechange__1_7_1 . n35_a_loosechange__1_8_1 <rquo> n35_a_loosechange__1 IP-MAT n35_a_loosechange__1_1 ADVP-NIM n35_a_loosechange__1->n35_a_loosechange__1_1 n35_a_loosechange__1_2 NP-SBJ n35_a_loosechange__1->n35_a_loosechange__1_2 n35_a_loosechange__1_3 DOP n35_a_loosechange__1->n35_a_loosechange__1_3 n35_a_loosechange__1_4 NEG;_clitic_ n35_a_loosechange__1->n35_a_loosechange__1_4 n35_a_loosechange__1_5 VB;_Tn_ n35_a_loosechange__1->n35_a_loosechange__1_5 n35_a_loosechange__1_6 NP-OB1 n35_a_loosechange__1->n35_a_loosechange__1_6 n35_a_loosechange__1_7 PUNC n35_a_loosechange__1->n35_a_loosechange__1_7 n35_a_loosechange__1_8 PURQ n35_a_loosechange__1->n35_a_loosechange__1_8 n35_a_loosechange__1_1_1 ADV n35_a_loosechange__1_1->n35_a_loosechange__1_1_1 n35_a_loosechange__1_1_1->n35_a_loosechange__1_1_1_1 n35_a_loosechange__1_2_1 PRO n35_a_loosechange__1_2->n35_a_loosechange__1_2_1 n35_a_loosechange__1_2_1->n35_a_loosechange__1_2_1_1 n35_a_loosechange__1_3->n35_a_loosechange__1_3_1 n35_a_loosechange__1_4->n35_a_loosechange__1_4_1 n35_a_loosechange__1_5->n35_a_loosechange__1_5_1 n35_a_loosechange__1_6_1 Q;_nphd_ n35_a_loosechange__1_6->n35_a_loosechange__1_6_1 n35_a_loosechange__1_6_2 D n35_a_loosechange__1_6->n35_a_loosechange__1_6_2 n35_a_loosechange__1_6_3 NS n35_a_loosechange__1_6->n35_a_loosechange__1_6_3 n35_a_loosechange__1_6_1->n35_a_loosechange__1_6_1_1 n35_a_loosechange__1_6_2->n35_a_loosechange__1_6_2_1 n35_a_loosechange__1_6_3->n35_a_loosechange__1_6_3_1 n35_a_loosechange__1_7->n35_a_loosechange__1_7_1 n35_a_loosechange__1_8->n35_a_loosechange__1_8_1 
( (IP-MAT (ADVP-NIM (ADV Only;{only}))
          (NP-SBJ (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tn_ want;{want})
          (NP-OB1 (Q;_nphd_ all;{all})
                  (D those;{those})
                  (NS coins;{coin}))
          (PUNC .)
          (PURQ <rquo>))
  (ID 35_a_loosechange))