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_0015__owed owed r_0066_0016__her her r_0066_0015__owed->r_0066_0016__her [arg2] r_0066_0012__the_r_0066_0013__twenty__hyphen__pences the twenty-pences r_0066_0015__owed->r_0066_0012__the_r_0066_0013__twenty__hyphen__pences [arg1] r_0066_0002__I I r_0066_0015__owed->r_0066_0002__I [arg0] r_0066_0010__pushed pushed r_0066_0010__pushed->r_0066_0012__the_r_0066_0013__twenty__hyphen__pences over [clr] r_0066_0010__pushed->r_0066_0002__I [arg0] r_0066_0003__got got r_0066_0003__got->r_0066_0002__I [arg0] 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_0004__back back r_0066_0003__got->r_0066_0004__back [clr] r_0066_0001__When When r_0066_0001__When->r_0066_0010__pushed [scope] r_0066_0001__When->r_0066_0003__got [restriction] 
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__1_1_1_1 When n66_a_loosechange__1_1_2_1_1_1 I n66_a_loosechange__1_1_2_2_1 got n66_a_loosechange__1_1_2_3_1_1 back n66_a_loosechange__1_1_2_4_1_1 with n66_a_loosechange__1_1_2_4_2_1_1 the n66_a_loosechange__1_1_2_4_2_2_1 tea n66_a_loosechange__1_2_1 , n66_a_loosechange__1_3_1_1 I n66_a_loosechange__1_4_1 pushed n66_a_loosechange__1_5_1_1 over n66_a_loosechange__1_5_2_1_1 the n66_a_loosechange__1_5_2_2_1 twenty-pences n66_a_loosechange__1_5_2_3_1_1 *T* n66_a_loosechange__1_5_2_3_2_1_1 I n66_a_loosechange__1_5_2_3_3_1 owed n66_a_loosechange__1_5_2_3_4_1_1 her n66_a_loosechange__1_6_1 . n66_a_loosechange__1 IP-MAT n66_a_loosechange__1_1 PP-SCON n66_a_loosechange__1->n66_a_loosechange__1_1 n66_a_loosechange__1_2 PUNC n66_a_loosechange__1->n66_a_loosechange__1_2 n66_a_loosechange__1_3 NP-SBJ n66_a_loosechange__1->n66_a_loosechange__1_3 n66_a_loosechange__1_4 VBD;_Ipr_ n66_a_loosechange__1->n66_a_loosechange__1_4 n66_a_loosechange__1_5 PP-CLR n66_a_loosechange__1->n66_a_loosechange__1_5 n66_a_loosechange__1_6 PUNC n66_a_loosechange__1->n66_a_loosechange__1_6 n66_a_loosechange__1_1_1 P-CONN n66_a_loosechange__1_1->n66_a_loosechange__1_1_1 n66_a_loosechange__1_1_2 IP-ADV n66_a_loosechange__1_1->n66_a_loosechange__1_1_2 n66_a_loosechange__1_1_1->n66_a_loosechange__1_1_1_1 n66_a_loosechange__1_1_2_1 NP-SBJ n66_a_loosechange__1_1_2->n66_a_loosechange__1_1_2_1 n66_a_loosechange__1_1_2_2 VBD;_Ip_ n66_a_loosechange__1_1_2->n66_a_loosechange__1_1_2_2 n66_a_loosechange__1_1_2_3 ADVP-CLR n66_a_loosechange__1_1_2->n66_a_loosechange__1_1_2_3 n66_a_loosechange__1_1_2_4 PP-NIM n66_a_loosechange__1_1_2->n66_a_loosechange__1_1_2_4 n66_a_loosechange__1_1_2_1_1 PRO n66_a_loosechange__1_1_2_1->n66_a_loosechange__1_1_2_1_1 n66_a_loosechange__1_1_2_1_1->n66_a_loosechange__1_1_2_1_1_1 n66_a_loosechange__1_1_2_2->n66_a_loosechange__1_1_2_2_1 n66_a_loosechange__1_1_2_3_1 RP n66_a_loosechange__1_1_2_3->n66_a_loosechange__1_1_2_3_1 n66_a_loosechange__1_1_2_3_1->n66_a_loosechange__1_1_2_3_1_1 n66_a_loosechange__1_1_2_4_1 P-ROLE n66_a_loosechange__1_1_2_4->n66_a_loosechange__1_1_2_4_1 n66_a_loosechange__1_1_2_4_2 NP n66_a_loosechange__1_1_2_4->n66_a_loosechange__1_1_2_4_2 n66_a_loosechange__1_1_2_4_1->n66_a_loosechange__1_1_2_4_1_1 n66_a_loosechange__1_1_2_4_2_1 D n66_a_loosechange__1_1_2_4_2->n66_a_loosechange__1_1_2_4_2_1 n66_a_loosechange__1_1_2_4_2_2 N n66_a_loosechange__1_1_2_4_2->n66_a_loosechange__1_1_2_4_2_2 n66_a_loosechange__1_1_2_4_2_1->n66_a_loosechange__1_1_2_4_2_1_1 n66_a_loosechange__1_1_2_4_2_2->n66_a_loosechange__1_1_2_4_2_2_1 n66_a_loosechange__1_2->n66_a_loosechange__1_2_1 n66_a_loosechange__1_3_1 PRO n66_a_loosechange__1_3->n66_a_loosechange__1_3_1 n66_a_loosechange__1_3_1->n66_a_loosechange__1_3_1_1 n66_a_loosechange__1_4->n66_a_loosechange__1_4_1 n66_a_loosechange__1_5_1 P-ROLE n66_a_loosechange__1_5->n66_a_loosechange__1_5_1 n66_a_loosechange__1_5_2 NP n66_a_loosechange__1_5->n66_a_loosechange__1_5_2 n66_a_loosechange__1_5_1->n66_a_loosechange__1_5_1_1 n66_a_loosechange__1_5_2_1 D n66_a_loosechange__1_5_2->n66_a_loosechange__1_5_2_1 n66_a_loosechange__1_5_2_2 NS n66_a_loosechange__1_5_2->n66_a_loosechange__1_5_2_2 n66_a_loosechange__1_5_2_3 IP-REL n66_a_loosechange__1_5_2->n66_a_loosechange__1_5_2_3 n66_a_loosechange__1_5_2_1->n66_a_loosechange__1_5_2_1_1 n66_a_loosechange__1_5_2_2->n66_a_loosechange__1_5_2_2_1 n66_a_loosechange__1_5_2_3_1 NP-OB1 n66_a_loosechange__1_5_2_3->n66_a_loosechange__1_5_2_3_1 n66_a_loosechange__1_5_2_3_2 NP-SBJ n66_a_loosechange__1_5_2_3->n66_a_loosechange__1_5_2_3_2 n66_a_loosechange__1_5_2_3_3 VBD;_Dn.n_ n66_a_loosechange__1_5_2_3->n66_a_loosechange__1_5_2_3_3 n66_a_loosechange__1_5_2_3_4 NP-OB2 n66_a_loosechange__1_5_2_3->n66_a_loosechange__1_5_2_3_4 n66_a_loosechange__1_5_2_3_1->n66_a_loosechange__1_5_2_3_1_1 n66_a_loosechange__1_5_2_3_2_1 PRO n66_a_loosechange__1_5_2_3_2->n66_a_loosechange__1_5_2_3_2_1 n66_a_loosechange__1_5_2_3_2_1->n66_a_loosechange__1_5_2_3_2_1_1 n66_a_loosechange__1_5_2_3_3->n66_a_loosechange__1_5_2_3_3_1 n66_a_loosechange__1_5_2_3_4_1 PRO n66_a_loosechange__1_5_2_3_4->n66_a_loosechange__1_5_2_3_4_1 n66_a_loosechange__1_5_2_3_4_1->n66_a_loosechange__1_5_2_3_4_1_1 n66_a_loosechange__1_6->n66_a_loosechange__1_6_1 
( (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))