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_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] 
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_4 I n31_a_loosechange_6 picked n31_a_loosechange_9 three n31_a_loosechange_12 damp n31_a_loosechange_14 coins n31_a_loosechange_17 out_of n31_a_loosechange_20 the n31_a_loosechange_22 pile n31_a_loosechange_24 . n31_a_loosechange_1 IP-MAT n31_a_loosechange_2 NP-SBJ n31_a_loosechange_1->n31_a_loosechange_2 n31_a_loosechange_5 VBD;_Tn.pr_ n31_a_loosechange_1->n31_a_loosechange_5 n31_a_loosechange_7 NP-OB1 n31_a_loosechange_1->n31_a_loosechange_7 n31_a_loosechange_15 PP-NIM n31_a_loosechange_1->n31_a_loosechange_15 n31_a_loosechange_23 PUNC n31_a_loosechange_1->n31_a_loosechange_23 n31_a_loosechange_3 PRO n31_a_loosechange_2->n31_a_loosechange_3 n31_a_loosechange_3->n31_a_loosechange_4 n31_a_loosechange_5->n31_a_loosechange_6 n31_a_loosechange_8 NUM n31_a_loosechange_7->n31_a_loosechange_8 n31_a_loosechange_10 ADJP n31_a_loosechange_7->n31_a_loosechange_10 n31_a_loosechange_13 NS n31_a_loosechange_7->n31_a_loosechange_13 n31_a_loosechange_8->n31_a_loosechange_9 n31_a_loosechange_11 ADJ n31_a_loosechange_10->n31_a_loosechange_11 n31_a_loosechange_11->n31_a_loosechange_12 n31_a_loosechange_13->n31_a_loosechange_14 n31_a_loosechange_16 P-ROLE n31_a_loosechange_15->n31_a_loosechange_16 n31_a_loosechange_18 NP n31_a_loosechange_15->n31_a_loosechange_18 n31_a_loosechange_16->n31_a_loosechange_17 n31_a_loosechange_19 D n31_a_loosechange_18->n31_a_loosechange_19 n31_a_loosechange_21 N n31_a_loosechange_18->n31_a_loosechange_21 n31_a_loosechange_19->n31_a_loosechange_20 n31_a_loosechange_21->n31_a_loosechange_22 n31_a_loosechange_23->n31_a_loosechange_24 
( (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))