Context                Previous, Next                Top


31_a_loosechange
I picked three damp coins out of the pile.

%3 r_0031_0002__picked picked r_0031_0001__I I r_0031_0002__picked->r_0031_0001__I [arg0] r_0031_0003__three_r_0031_0005__coins three coins r_0031_0002__picked->r_0031_0003__three_r_0031_0005__coins [arg1] r_0031_0007__the_r_0031_0008__pile the pile r_0031_0002__picked->r_0031_0007__the_r_0031_0008__pile out of [nim] r_0031_0004__damp damp r_0031_0003__three_r_0031_0005__coins->r_0031_0004__damp [attrib] 
arc(r_0031_0002__picked, r_0031_0001__I, arg0).
arc(r_0031_0002__picked, r_0031_0003__three_r_0031_0005__coins, arg1).
arc(r_0031_0002__picked, r_0031_0007__the_r_0031_0008__pile, r_0031_0006__out_of_nim18).
arc(r_0031_0003__three_r_0031_0005__coins, r_0031_0004__damp, attrib10).


%3 r_0031_0003__three_r_0031_0005__coins three coins r_0031_0004__damp damp r_0031_0003__three_r_0031_0005__coins->r_0031_0004__damp [attrib] r_0031_0002__picked picked r_0031_0002__picked->r_0031_0003__three_r_0031_0005__coins [arg1] r_0031_0007__the_r_0031_0008__pile the pile r_0031_0002__picked->r_0031_0007__the_r_0031_0008__pile out of [nim] r_0031_0001__I I r_0031_0002__picked->r_0031_0001__I [arg0] 
fof(formula,axiom,
    ? [R_31_2_PICKED,R_31_1_I,R_31_3_THREE_COINS,R_31_4_DAMP,R_31_7_THE_PILE] :
      ( i(R_31_1_I)
      & damp(R_31_4_DAMP)
      & the_pile(R_31_7_THE_PILE)
      & picked(R_31_2_PICKED,R_31_1_I,R_31_3_THREE_COINS)
      & three_coins(R_31_3_THREE_COINS)
      & attrib10(R_31_3_THREE_COINS,R_31_4_DAMP)
      & out_of_nim18(R_31_2_PICKED,R_31_7_THE_PILE) ) ).


n31_a_loosechange n31_a_loosechange__1_1_1_1 I n31_a_loosechange__1_2_1 picked n31_a_loosechange__1_3_1_1 three n31_a_loosechange__1_3_2_1_1 damp n31_a_loosechange__1_3_3_1 coins n31_a_loosechange__1_4_1_1 out_of n31_a_loosechange__1_4_2_1_1 the n31_a_loosechange__1_4_2_2_1 pile n31_a_loosechange__1_5_1 . n31_a_loosechange__1 IP-MAT n31_a_loosechange__1_1 NP-SBJ n31_a_loosechange__1->n31_a_loosechange__1_1 n31_a_loosechange__1_2 VBD;_Tn.pr_ n31_a_loosechange__1->n31_a_loosechange__1_2 n31_a_loosechange__1_3 NP-OB1 n31_a_loosechange__1->n31_a_loosechange__1_3 n31_a_loosechange__1_4 PP-NIM n31_a_loosechange__1->n31_a_loosechange__1_4 n31_a_loosechange__1_5 PUNC n31_a_loosechange__1->n31_a_loosechange__1_5 n31_a_loosechange__1_1_1 PRO n31_a_loosechange__1_1->n31_a_loosechange__1_1_1 n31_a_loosechange__1_1_1->n31_a_loosechange__1_1_1_1 n31_a_loosechange__1_2->n31_a_loosechange__1_2_1 n31_a_loosechange__1_3_1 NUM n31_a_loosechange__1_3->n31_a_loosechange__1_3_1 n31_a_loosechange__1_3_2 ADJP n31_a_loosechange__1_3->n31_a_loosechange__1_3_2 n31_a_loosechange__1_3_3 NS n31_a_loosechange__1_3->n31_a_loosechange__1_3_3 n31_a_loosechange__1_3_1->n31_a_loosechange__1_3_1_1 n31_a_loosechange__1_3_2_1 ADJ n31_a_loosechange__1_3_2->n31_a_loosechange__1_3_2_1 n31_a_loosechange__1_3_2_1->n31_a_loosechange__1_3_2_1_1 n31_a_loosechange__1_3_3->n31_a_loosechange__1_3_3_1 n31_a_loosechange__1_4_1 P-ROLE n31_a_loosechange__1_4->n31_a_loosechange__1_4_1 n31_a_loosechange__1_4_2 NP n31_a_loosechange__1_4->n31_a_loosechange__1_4_2 n31_a_loosechange__1_4_1->n31_a_loosechange__1_4_1_1 n31_a_loosechange__1_4_2_1 D n31_a_loosechange__1_4_2->n31_a_loosechange__1_4_2_1 n31_a_loosechange__1_4_2_2 N n31_a_loosechange__1_4_2->n31_a_loosechange__1_4_2_2 n31_a_loosechange__1_4_2_1->n31_a_loosechange__1_4_2_1_1 n31_a_loosechange__1_4_2_2->n31_a_loosechange__1_4_2_2_1 n31_a_loosechange__1_5->n31_a_loosechange__1_5_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tn.pr_ picked;{pick})
          (NP-OB1;{COINS} (NUM three;{three})
                          (ADJP (ADJ damp;{damp}))
                          (NS coins;{coin}))
          (PP-NIM (P-ROLE out_of;{out_of})
                  (NP (D the;{the})
                      (N pile;{pile})))
          (PUNC .))
  (ID 31_a_loosechange))