Context                Previous, Next                Top


195_a_loosechange
I picked up four.

%3 r_0195_0002__picked_r_0195_0003__up picked up r_0195_0001__I I r_0195_0002__picked_r_0195_0003__up->r_0195_0001__I [arg0] r_0195_0004__four four r_0195_0002__picked_r_0195_0003__up->r_0195_0004__four [arg1] 
arc(r_0195_0002__picked_r_0195_0003__up, r_0195_0001__I, arg0).
arc(r_0195_0002__picked_r_0195_0003__up, r_0195_0004__four, arg1).


%3 r_0195_0002__picked_r_0195_0003__up picked up r_0195_0004__four four r_0195_0002__picked_r_0195_0003__up->r_0195_0004__four [arg1] r_0195_0001__I I r_0195_0002__picked_r_0195_0003__up->r_0195_0001__I [arg0] 
fof(formula,axiom,
    ? [R_195_2_PICKED_UP,R_195_1_I,R_195_4_FOUR] :
      ( i(R_195_1_I)
      & four(R_195_4_FOUR)
      & picked_up(R_195_2_PICKED_UP,R_195_1_I,R_195_4_FOUR) ) ).


n195_a_loosechange n195_a_loosechange__1_1_1_1 I n195_a_loosechange__1_2_1 picked n195_a_loosechange__1_3_1 up n195_a_loosechange__1_4_1_1 four n195_a_loosechange__1_5_1 . n195_a_loosechange__1 IP-MAT n195_a_loosechange__1_1 NP-SBJ n195_a_loosechange__1->n195_a_loosechange__1_1 n195_a_loosechange__1_2 VBD;__ n195_a_loosechange__1->n195_a_loosechange__1_2 n195_a_loosechange__1_3 RP n195_a_loosechange__1->n195_a_loosechange__1_3 n195_a_loosechange__1_4 NP-OB1 n195_a_loosechange__1->n195_a_loosechange__1_4 n195_a_loosechange__1_5 PUNC n195_a_loosechange__1->n195_a_loosechange__1_5 n195_a_loosechange__1_1_1 PRO n195_a_loosechange__1_1->n195_a_loosechange__1_1_1 n195_a_loosechange__1_1_1->n195_a_loosechange__1_1_1_1 n195_a_loosechange__1_2->n195_a_loosechange__1_2_1 n195_a_loosechange__1_3->n195_a_loosechange__1_3_1 n195_a_loosechange__1_4_1 NUM n195_a_loosechange__1_4->n195_a_loosechange__1_4_1 n195_a_loosechange__1_4_1->n195_a_loosechange__1_4_1_1 n195_a_loosechange__1_5->n195_a_loosechange__1_5_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ picked;{pick})
          (RP up;{up})
          (NP-OB1 (NUM four;{four}))
          (PUNC .))
  (ID 195_a_loosechange))