Context                Previous, Next                Top


32_a_loosechange
‘Then I'll get some change in the shop and pay them back to you.’

%3 r_0032_0004___apos_ll 'll r_0032_0002__Then Then r_0032_0004___apos_ll->r_0032_0002__Then [nim] r_0032_0011__and and r_0032_0004___apos_ll->r_0032_0011__and [scope] r_0032_0005__get get r_0032_0011__and->r_0032_0005__get [conj1] r_0032_0012__pay_r_0032_0014__back pay back r_0032_0011__and->r_0032_0012__pay_r_0032_0014__back [conj2] r_0032_0003__I I r_0032_0005__get->r_0032_0003__I [arg0] r_0032_0006__some_r_0032_0007__change some change r_0032_0005__get->r_0032_0006__some_r_0032_0007__change [arg1] r_0032_0009__the_r_0032_0010__shop the shop r_0032_0005__get->r_0032_0009__the_r_0032_0010__shop in [nim] r_0032_0012__pay_r_0032_0014__back->r_0032_0003__I [arg0] r_0032_0013__them them r_0032_0012__pay_r_0032_0014__back->r_0032_0013__them [arg1] r_0032_0016__you you r_0032_0012__pay_r_0032_0014__back->r_0032_0016__you to [nim] 
arc(r_0032_0004___apos_ll, r_0032_0002__Then, nim4).
arc(r_0032_0004___apos_ll, r_0032_0011__and, scope).
arc(r_0032_0005__get, r_0032_0003__I, arg0).
arc(r_0032_0005__get, r_0032_0006__some_r_0032_0007__change, arg1).
arc(r_0032_0005__get, r_0032_0009__the_r_0032_0010__shop, r_0032_0008__in_nim25).
arc(r_0032_0011__and, r_0032_0005__get, conj1).
arc(r_0032_0011__and, r_0032_0012__pay_r_0032_0014__back, conj2).
arc(r_0032_0012__pay_r_0032_0014__back, r_0032_0003__I, arg0).
arc(r_0032_0012__pay_r_0032_0014__back, r_0032_0013__them, arg1).
arc(r_0032_0012__pay_r_0032_0014__back, r_0032_0016__you, r_0032_0015__to_nim44).


%3 r_0032_0004___apos_ll 'll r_0032_0002__Then Then r_0032_0004___apos_ll->r_0032_0002__Then [nim] r_0032_0011__and and r_0032_0004___apos_ll->r_0032_0011__and [keep_scope] r_0032_0005__get get r_0032_0011__and->r_0032_0005__get [conj1] r_0032_0012__pay_r_0032_0014__back pay back r_0032_0011__and->r_0032_0012__pay_r_0032_0014__back [conj2] r_0032_0003__I I r_0032_0005__get->r_0032_0003__I [arg0] r_0032_0006__some_r_0032_0007__change some change r_0032_0005__get->r_0032_0006__some_r_0032_0007__change [arg1] r_0032_0009__the_r_0032_0010__shop the shop r_0032_0005__get->r_0032_0009__the_r_0032_0010__shop in [nim] r_0032_0012__pay_r_0032_0014__back->r_0032_0003__I [arg0] r_0032_0013__them them r_0032_0012__pay_r_0032_0014__back->r_0032_0013__them [arg1] r_0032_0016__you you r_0032_0012__pay_r_0032_0014__back->r_0032_0016__you to [nim] 
fof(formula,axiom,
    ? [R_32_2_THEN] :
      ( then(R_32_2_THEN)
      & ? [R_32_11_AND,R_32_5_GET,R_32_6_SOME_CHANGE,R_32_9_THE_SHOP,R_32_12_PAY_BACK,R_32_3_I,R_32_13_THEM,R_32_16_YOU] :
          ( some_change(R_32_6_SOME_CHANGE)
          & the_shop(R_32_9_THE_SHOP)
          & i(R_32_3_I)
          & them(R_32_13_THEM)
          & you(R_32_16_YOU)
          & and(R_32_11_AND)
          & conj1(R_32_11_AND,R_32_5_GET)
          & get(R_32_5_GET,R_32_3_I,R_32_6_SOME_CHANGE)
          & in_nim25(R_32_5_GET,R_32_9_THE_SHOP)
          & conj2(R_32_11_AND,R_32_12_PAY_BACK)
          & pay_back(R_32_12_PAY_BACK,R_32_3_I,R_32_13_THEM)
          & to_nim44(R_32_12_PAY_BACK,R_32_16_YOU) ) ) ).


n32_a_loosechange n32_a_loosechange_3 <lquo> n32_a_loosechange_6 Then n32_a_loosechange_9 I n32_a_loosechange_11 'll n32_a_loosechange_16 get n32_a_loosechange_19 some n32_a_loosechange_21 change n32_a_loosechange_24 in n32_a_loosechange_27 the n32_a_loosechange_29 shop n32_a_loosechange_32 and n32_a_loosechange_35 pay n32_a_loosechange_38 them n32_a_loosechange_40 back n32_a_loosechange_43 to n32_a_loosechange_46 you n32_a_loosechange_48 . n32_a_loosechange_50 <rquo> n32_a_loosechange_1 IP-MAT n32_a_loosechange_2 PULQ n32_a_loosechange_1->n32_a_loosechange_2 n32_a_loosechange_4 ADVP-NIM n32_a_loosechange_1->n32_a_loosechange_4 n32_a_loosechange_7 NP-SBJ n32_a_loosechange_1->n32_a_loosechange_7 n32_a_loosechange_10 MD;_cat_Vi_ n32_a_loosechange_1->n32_a_loosechange_10 n32_a_loosechange_12 IP-INF-CAT n32_a_loosechange_1->n32_a_loosechange_12 n32_a_loosechange_47 PUNC n32_a_loosechange_1->n32_a_loosechange_47 n32_a_loosechange_49 PURQ n32_a_loosechange_1->n32_a_loosechange_49 n32_a_loosechange_2->n32_a_loosechange_3 n32_a_loosechange_5 ADV n32_a_loosechange_4->n32_a_loosechange_5 n32_a_loosechange_5->n32_a_loosechange_6 n32_a_loosechange_8 PRO n32_a_loosechange_7->n32_a_loosechange_8 n32_a_loosechange_8->n32_a_loosechange_9 n32_a_loosechange_10->n32_a_loosechange_11 n32_a_loosechange_13 ILYR n32_a_loosechange_12->n32_a_loosechange_13 n32_a_loosechange_14 ILYR n32_a_loosechange_13->n32_a_loosechange_14 n32_a_loosechange_30 CONJP n32_a_loosechange_13->n32_a_loosechange_30 n32_a_loosechange_15 VB;_Tn_ n32_a_loosechange_14->n32_a_loosechange_15 n32_a_loosechange_17 NP-OB1 n32_a_loosechange_14->n32_a_loosechange_17 n32_a_loosechange_22 PP-NIM n32_a_loosechange_14->n32_a_loosechange_22 n32_a_loosechange_15->n32_a_loosechange_16 n32_a_loosechange_18 D n32_a_loosechange_17->n32_a_loosechange_18 n32_a_loosechange_20 N n32_a_loosechange_17->n32_a_loosechange_20 n32_a_loosechange_18->n32_a_loosechange_19 n32_a_loosechange_20->n32_a_loosechange_21 n32_a_loosechange_23 P-ROLE n32_a_loosechange_22->n32_a_loosechange_23 n32_a_loosechange_25 NP n32_a_loosechange_22->n32_a_loosechange_25 n32_a_loosechange_23->n32_a_loosechange_24 n32_a_loosechange_26 D n32_a_loosechange_25->n32_a_loosechange_26 n32_a_loosechange_28 N n32_a_loosechange_25->n32_a_loosechange_28 n32_a_loosechange_26->n32_a_loosechange_27 n32_a_loosechange_28->n32_a_loosechange_29 n32_a_loosechange_31 CONJ n32_a_loosechange_30->n32_a_loosechange_31 n32_a_loosechange_33 ILYR n32_a_loosechange_30->n32_a_loosechange_33 n32_a_loosechange_31->n32_a_loosechange_32 n32_a_loosechange_34 VB;_phr_Vn<=>p_ n32_a_loosechange_33->n32_a_loosechange_34 n32_a_loosechange_36 NP-OB1 n32_a_loosechange_33->n32_a_loosechange_36 n32_a_loosechange_39 RP n32_a_loosechange_33->n32_a_loosechange_39 n32_a_loosechange_41 PP-NIM n32_a_loosechange_33->n32_a_loosechange_41 n32_a_loosechange_34->n32_a_loosechange_35 n32_a_loosechange_37 PRO n32_a_loosechange_36->n32_a_loosechange_37 n32_a_loosechange_37->n32_a_loosechange_38 n32_a_loosechange_39->n32_a_loosechange_40 n32_a_loosechange_42 P-ROLE n32_a_loosechange_41->n32_a_loosechange_42 n32_a_loosechange_44 NP n32_a_loosechange_41->n32_a_loosechange_44 n32_a_loosechange_42->n32_a_loosechange_43 n32_a_loosechange_45 PRO n32_a_loosechange_44->n32_a_loosechange_45 n32_a_loosechange_45->n32_a_loosechange_46 n32_a_loosechange_47->n32_a_loosechange_48 n32_a_loosechange_49->n32_a_loosechange_50 
( (IP-MAT (PULQ <lquo>)
          (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ get;{get})
                                  (NP-OB1 (D some;{some})
                                          (N change;{change}))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N shop;{shop}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_phr_Vn<=>p_ pay;{pay[back]})
                                         (NP-OB1;{COINS} (PRO them;{they}))
                                         (RP back;{back})
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (PRO you;{you})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 32_a_loosechange))