Context                Previous, Next                Top


66_a_loosechange
When I got back with the tea, I pushed over the twenty-pences I owed her.

%3 r_0066_0001__When When r_0066_0003__got got r_0066_0001__When->r_0066_0003__got [restriction] r_0066_0010__pushed pushed r_0066_0001__When->r_0066_0010__pushed [scope] r_0066_0002__I I r_0066_0003__got->r_0066_0002__I [arg0] r_0066_0004__back back r_0066_0003__got->r_0066_0004__back [clr] r_0066_0006__the_r_0066_0007__tea the tea r_0066_0003__got->r_0066_0006__the_r_0066_0007__tea with [nim] r_0066_0010__pushed->r_0066_0002__I [arg0] r_0066_0012__the_r_0066_0013__twenty__hyphen__pences the twenty-pences r_0066_0010__pushed->r_0066_0012__the_r_0066_0013__twenty__hyphen__pences over [clr] r_0066_0015__owed owed r_0066_0015__owed->r_0066_0002__I [arg0] r_0066_0015__owed->r_0066_0012__the_r_0066_0013__twenty__hyphen__pences [arg1] r_0066_0016__her her r_0066_0015__owed->r_0066_0016__her [arg2] 
arc(r_0066_0001__When, r_0066_0003__got, restriction).
arc(r_0066_0001__When, r_0066_0010__pushed, scope).
arc(r_0066_0003__got, r_0066_0002__I, arg0).
arc(r_0066_0003__got, r_0066_0004__back, clr11).
arc(r_0066_0003__got, r_0066_0006__the_r_0066_0007__tea, r_0066_0005__with_nim17).
arc(r_0066_0010__pushed, r_0066_0002__I, arg0).
arc(r_0066_0010__pushed, r_0066_0012__the_r_0066_0013__twenty__hyphen__pences, r_0066_0011__over_clr32).
arc(r_0066_0015__owed, r_0066_0002__I, arg0).
arc(r_0066_0015__owed, r_0066_0012__the_r_0066_0013__twenty__hyphen__pences, arg1).
arc(r_0066_0015__owed, r_0066_0016__her, arg2).


%3 r_0066_0001__When When r_0066_0003__got got r_0066_0001__When->r_0066_0003__got [restriction] r_0066_0010__pushed pushed r_0066_0001__When->r_0066_0010__pushed [scope] r_0066_0002__I I r_0066_0003__got->r_0066_0002__I [arg0] r_0066_0004__back back r_0066_0003__got->r_0066_0004__back [clr] r_0066_0006__the_r_0066_0007__tea the tea r_0066_0003__got->r_0066_0006__the_r_0066_0007__tea with [nim] r_0066_0010__pushed->r_0066_0002__I [arg0] r_0066_0012__the_r_0066_0013__twenty__hyphen__pences the twenty-pences r_0066_0010__pushed->r_0066_0012__the_r_0066_0013__twenty__hyphen__pences over [clr] r_0066_0015__owed owed r_0066_0015__owed->r_0066_0002__I [arg0] r_0066_0015__owed->r_0066_0012__the_r_0066_0013__twenty__hyphen__pences [arg1] r_0066_0016__her her r_0066_0015__owed->r_0066_0016__her [arg2] 
fof(formula,axiom,
    ? [R_66_15_OWED,R_66_2_I,R_66_12_THE_TWENTY_HYPHEN_PENCES,R_66_16_HER] :
      ( i(R_66_2_I)
      & the_twenty_hyphen_pences(R_66_12_THE_TWENTY_HYPHEN_PENCES)
      & her(R_66_16_HER)
      & ! [R_66_3_GOT,R_66_4_BACK,R_66_6_THE_TEA] :
          ( ( back(R_66_4_BACK)
            & the_tea(R_66_6_THE_TEA)
            & got(R_66_3_GOT,R_66_2_I)
            & clr11(R_66_3_GOT,R_66_4_BACK)
            & with_nim17(R_66_3_GOT,R_66_6_THE_TEA) )
         => ? [R_66_10_PUSHED] :
              ( pushed(R_66_10_PUSHED,R_66_2_I)
              & over_clr32(R_66_10_PUSHED,R_66_12_THE_TWENTY_HYPHEN_PENCES) ) )
      & owed(R_66_15_OWED,R_66_2_I,R_66_12_THE_TWENTY_HYPHEN_PENCES,R_66_16_HER) ) ).


n66_a_loosechange n66_a_loosechange_4 When n66_a_loosechange_8 I n66_a_loosechange_10 got n66_a_loosechange_13 back n66_a_loosechange_16 with n66_a_loosechange_19 the n66_a_loosechange_21 tea n66_a_loosechange_23 , n66_a_loosechange_26 I n66_a_loosechange_28 pushed n66_a_loosechange_31 over n66_a_loosechange_34 the n66_a_loosechange_36 twenty-pences n66_a_loosechange_39 *T* n66_a_loosechange_42 I n66_a_loosechange_44 owed n66_a_loosechange_47 her n66_a_loosechange_49 . n66_a_loosechange_1 IP-MAT n66_a_loosechange_2 PP-SCON n66_a_loosechange_1->n66_a_loosechange_2 n66_a_loosechange_22 PUNC n66_a_loosechange_1->n66_a_loosechange_22 n66_a_loosechange_24 NP-SBJ n66_a_loosechange_1->n66_a_loosechange_24 n66_a_loosechange_27 VBD;_Ipr_ n66_a_loosechange_1->n66_a_loosechange_27 n66_a_loosechange_29 PP-CLR n66_a_loosechange_1->n66_a_loosechange_29 n66_a_loosechange_48 PUNC n66_a_loosechange_1->n66_a_loosechange_48 n66_a_loosechange_3 P-CONN n66_a_loosechange_2->n66_a_loosechange_3 n66_a_loosechange_5 IP-ADV n66_a_loosechange_2->n66_a_loosechange_5 n66_a_loosechange_3->n66_a_loosechange_4 n66_a_loosechange_6 NP-SBJ n66_a_loosechange_5->n66_a_loosechange_6 n66_a_loosechange_9 VBD;_Ip_ n66_a_loosechange_5->n66_a_loosechange_9 n66_a_loosechange_11 ADVP-CLR n66_a_loosechange_5->n66_a_loosechange_11 n66_a_loosechange_14 PP-NIM n66_a_loosechange_5->n66_a_loosechange_14 n66_a_loosechange_7 PRO n66_a_loosechange_6->n66_a_loosechange_7 n66_a_loosechange_7->n66_a_loosechange_8 n66_a_loosechange_9->n66_a_loosechange_10 n66_a_loosechange_12 RP n66_a_loosechange_11->n66_a_loosechange_12 n66_a_loosechange_12->n66_a_loosechange_13 n66_a_loosechange_15 P-ROLE n66_a_loosechange_14->n66_a_loosechange_15 n66_a_loosechange_17 NP n66_a_loosechange_14->n66_a_loosechange_17 n66_a_loosechange_15->n66_a_loosechange_16 n66_a_loosechange_18 D n66_a_loosechange_17->n66_a_loosechange_18 n66_a_loosechange_20 N n66_a_loosechange_17->n66_a_loosechange_20 n66_a_loosechange_18->n66_a_loosechange_19 n66_a_loosechange_20->n66_a_loosechange_21 n66_a_loosechange_22->n66_a_loosechange_23 n66_a_loosechange_25 PRO n66_a_loosechange_24->n66_a_loosechange_25 n66_a_loosechange_25->n66_a_loosechange_26 n66_a_loosechange_27->n66_a_loosechange_28 n66_a_loosechange_30 P-ROLE n66_a_loosechange_29->n66_a_loosechange_30 n66_a_loosechange_32 NP n66_a_loosechange_29->n66_a_loosechange_32 n66_a_loosechange_30->n66_a_loosechange_31 n66_a_loosechange_33 D n66_a_loosechange_32->n66_a_loosechange_33 n66_a_loosechange_35 NS n66_a_loosechange_32->n66_a_loosechange_35 n66_a_loosechange_37 IP-REL n66_a_loosechange_32->n66_a_loosechange_37 n66_a_loosechange_33->n66_a_loosechange_34 n66_a_loosechange_35->n66_a_loosechange_36 n66_a_loosechange_38 NP-OB1 n66_a_loosechange_37->n66_a_loosechange_38 n66_a_loosechange_40 NP-SBJ n66_a_loosechange_37->n66_a_loosechange_40 n66_a_loosechange_43 VBD;_Dn.n_ n66_a_loosechange_37->n66_a_loosechange_43 n66_a_loosechange_45 NP-OB2 n66_a_loosechange_37->n66_a_loosechange_45 n66_a_loosechange_38->n66_a_loosechange_39 n66_a_loosechange_41 PRO n66_a_loosechange_40->n66_a_loosechange_41 n66_a_loosechange_41->n66_a_loosechange_42 n66_a_loosechange_43->n66_a_loosechange_44 n66_a_loosechange_46 PRO n66_a_loosechange_45->n66_a_loosechange_46 n66_a_loosechange_46->n66_a_loosechange_47 n66_a_loosechange_48->n66_a_loosechange_49 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Ip_ got;{get[back]})
                           (ADVP-CLR (RP back;{back}))
                           (PP-NIM (P-ROLE with;{with})
                                   (NP (D the;{the})
                                       (N tea;{tea})))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Ipr_ pushed;{push[over]})
          (PP-CLR (P-ROLE over;{over})
                  (NP;{COINS} (D the;{the})
                              (NS twenty_<hyphen>_pences;{twenty_pences})
                              (IP-REL (NP-OB1 *T*)
                                      (NP-SBJ (PRO I;{I}))
                                      (VBD;_Dn.n_ owed;{owe})
                                      (NP-OB2;{LAYLOR} (PRO her;{her})))))
          (PUNC .))
  (ID 66_a_loosechange))