Context                Previous, Next                Top


335_a_dick_1952
Dorle picked up a rock from the ground.

%3 r_0335_0002__picked_r_0335_0003__up picked up r_0335_0001__Dorle Dorle r_0335_0002__picked_r_0335_0003__up->r_0335_0001__Dorle [arg0] r_0335_0004__a_r_0335_0005__rock a rock r_0335_0002__picked_r_0335_0003__up->r_0335_0004__a_r_0335_0005__rock [arg1] r_0335_0007__the_r_0335_0008__ground the ground r_0335_0002__picked_r_0335_0003__up->r_0335_0007__the_r_0335_0008__ground from [nim] 
arc(r_0335_0002__picked_r_0335_0003__up, r_0335_0001__Dorle, arg0).
arc(r_0335_0002__picked_r_0335_0003__up, r_0335_0004__a_r_0335_0005__rock, arg1).
arc(r_0335_0002__picked_r_0335_0003__up, r_0335_0007__the_r_0335_0008__ground, r_0335_0006__from_nim17).


%3 r_0335_0002__picked_r_0335_0003__up picked up r_0335_0001__Dorle Dorle r_0335_0002__picked_r_0335_0003__up->r_0335_0001__Dorle [arg0] r_0335_0004__a_r_0335_0005__rock a rock r_0335_0002__picked_r_0335_0003__up->r_0335_0004__a_r_0335_0005__rock [arg1] r_0335_0007__the_r_0335_0008__ground the ground r_0335_0002__picked_r_0335_0003__up->r_0335_0007__the_r_0335_0008__ground from [nim] 
fof(formula,axiom,
    ? [R_335_2_PICKED_UP,R_335_1_DORLE,R_335_4_A_ROCK,R_335_7_THE_GROUND] :
      ( dorle(R_335_1_DORLE)
      & a_rock(R_335_4_A_ROCK)
      & the_ground(R_335_7_THE_GROUND)
      & picked_up(R_335_2_PICKED_UP,R_335_1_DORLE,R_335_4_A_ROCK)
      & from_nim17(R_335_2_PICKED_UP,R_335_7_THE_GROUND) ) ).


n335_a_dick_1952 n335_a_dick_1952_4 Dorle n335_a_dick_1952_6 picked n335_a_dick_1952_8 up n335_a_dick_1952_11 a n335_a_dick_1952_13 rock n335_a_dick_1952_16 from n335_a_dick_1952_19 the n335_a_dick_1952_21 ground n335_a_dick_1952_23 . n335_a_dick_1952_1 IP-MAT n335_a_dick_1952_2 NP-SBJ n335_a_dick_1952_1->n335_a_dick_1952_2 n335_a_dick_1952_5 VBD;_phr_Vn<=>p_ n335_a_dick_1952_1->n335_a_dick_1952_5 n335_a_dick_1952_7 RP n335_a_dick_1952_1->n335_a_dick_1952_7 n335_a_dick_1952_9 NP-OB1 n335_a_dick_1952_1->n335_a_dick_1952_9 n335_a_dick_1952_14 PP-NIM n335_a_dick_1952_1->n335_a_dick_1952_14 n335_a_dick_1952_22 PUNC n335_a_dick_1952_1->n335_a_dick_1952_22 n335_a_dick_1952_3 NPR n335_a_dick_1952_2->n335_a_dick_1952_3 n335_a_dick_1952_3->n335_a_dick_1952_4 n335_a_dick_1952_5->n335_a_dick_1952_6 n335_a_dick_1952_7->n335_a_dick_1952_8 n335_a_dick_1952_10 D n335_a_dick_1952_9->n335_a_dick_1952_10 n335_a_dick_1952_12 N n335_a_dick_1952_9->n335_a_dick_1952_12 n335_a_dick_1952_10->n335_a_dick_1952_11 n335_a_dick_1952_12->n335_a_dick_1952_13 n335_a_dick_1952_15 P-ROLE n335_a_dick_1952_14->n335_a_dick_1952_15 n335_a_dick_1952_17 NP n335_a_dick_1952_14->n335_a_dick_1952_17 n335_a_dick_1952_15->n335_a_dick_1952_16 n335_a_dick_1952_18 D n335_a_dick_1952_17->n335_a_dick_1952_18 n335_a_dick_1952_20 N n335_a_dick_1952_17->n335_a_dick_1952_20 n335_a_dick_1952_18->n335_a_dick_1952_19 n335_a_dick_1952_20->n335_a_dick_1952_21 n335_a_dick_1952_22->n335_a_dick_1952_23 
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_phr_Vn<=>p_ picked;{pick[up]})
          (RP up;{up})
          (NP-OB1 (D a;{a})
                  (N rock;{rock}))
          (PP-NIM (P-ROLE from;{from})
                  (NP (D the;{the})
                      (N ground;{ground})))
          (PUNC .))
  (ID 335_a_dick_1952))