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_0066_0002__I,R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES,R_0066_0016__HER,R_0066_0015__OWED] :
      ( r_0066_0002__I(R_0066_0002__I)
      & r_0066_0012__the_r_0066_0013__twenty__hyphen__pences(R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES)
      & r_0066_0016__her(R_0066_0016__HER)
      & r_0066_0015__owed(R_0066_0015__OWED)
      & has_arg2(R_0066_0015__OWED,R_0066_0016__HER)
      & has_arg1(R_0066_0015__OWED,R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES)
      & has_arg0(R_0066_0015__OWED,R_0066_0002__I)
      & ! [R_0066_0003__GOT,R_0066_0004__BACK,R_0066_0006__THE_R_0066_0007__TEA] :
          ( ( r_0066_0004__back(R_0066_0004__BACK)
            & r_0066_0006__the_r_0066_0007__tea(R_0066_0006__THE_R_0066_0007__TEA)
            & r_0066_0003__got(R_0066_0003__GOT)
            & has_r_0066_0005__with_nim17(R_0066_0003__GOT,R_0066_0006__THE_R_0066_0007__TEA)
            & has_clr11(R_0066_0003__GOT,R_0066_0004__BACK)
            & has_arg0(R_0066_0003__GOT,R_0066_0002__I) )
         => ? [R_0066_0010__PUSHED] :
              ( r_0066_0010__pushed(R_0066_0010__PUSHED)
              & has_r_0066_0011__over_clr32(R_0066_0010__PUSHED,R_0066_0012__THE_R_0066_0013__TWENTY__HYPHEN__PENCES)
              & has_arg0(R_0066_0010__PUSHED,R_0066_0002__I) ) ) ) ).


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))