335_a_dick_1952
Dorle picked up a rock from the ground.

n335_a_dick_1952 n335_a_dick_1952__1_1_1_1 Dorle n335_a_dick_1952__1_2_1 picked n335_a_dick_1952__1_3_1 up n335_a_dick_1952__1_4_1_1 a n335_a_dick_1952__1_4_2_1 rock n335_a_dick_1952__1_5_1_1 from n335_a_dick_1952__1_5_2_1_1 the n335_a_dick_1952__1_5_2_2_1 ground n335_a_dick_1952__1_6_1 . n335_a_dick_1952__1 IP-MAT n335_a_dick_1952__1_1 NP-SBJ n335_a_dick_1952__1->n335_a_dick_1952__1_1 n335_a_dick_1952__1_2 VBD;_phr_Vn<=>p_ n335_a_dick_1952__1->n335_a_dick_1952__1_2 n335_a_dick_1952__1_3 RP n335_a_dick_1952__1->n335_a_dick_1952__1_3 n335_a_dick_1952__1_4 NP-OB1 n335_a_dick_1952__1->n335_a_dick_1952__1_4 n335_a_dick_1952__1_5 PP-NIM n335_a_dick_1952__1->n335_a_dick_1952__1_5 n335_a_dick_1952__1_6 PUNC n335_a_dick_1952__1->n335_a_dick_1952__1_6 n335_a_dick_1952__1_1_1 NPR n335_a_dick_1952__1_1->n335_a_dick_1952__1_1_1 n335_a_dick_1952__1_1_1->n335_a_dick_1952__1_1_1_1 n335_a_dick_1952__1_2->n335_a_dick_1952__1_2_1 n335_a_dick_1952__1_3->n335_a_dick_1952__1_3_1 n335_a_dick_1952__1_4_1 D n335_a_dick_1952__1_4->n335_a_dick_1952__1_4_1 n335_a_dick_1952__1_4_2 N n335_a_dick_1952__1_4->n335_a_dick_1952__1_4_2 n335_a_dick_1952__1_4_1->n335_a_dick_1952__1_4_1_1 n335_a_dick_1952__1_4_2->n335_a_dick_1952__1_4_2_1 n335_a_dick_1952__1_5_1 P-ROLE n335_a_dick_1952__1_5->n335_a_dick_1952__1_5_1 n335_a_dick_1952__1_5_2 NP n335_a_dick_1952__1_5->n335_a_dick_1952__1_5_2 n335_a_dick_1952__1_5_1->n335_a_dick_1952__1_5_1_1 n335_a_dick_1952__1_5_2_1 D n335_a_dick_1952__1_5_2->n335_a_dick_1952__1_5_2_1 n335_a_dick_1952__1_5_2_2 N n335_a_dick_1952__1_5_2->n335_a_dick_1952__1_5_2_2 n335_a_dick_1952__1_5_2_1->n335_a_dick_1952__1_5_2_1_1 n335_a_dick_1952__1_5_2_2->n335_a_dick_1952__1_5_2_2_1 n335_a_dick_1952__1_6->n335_a_dick_1952__1_6_1
( (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))



%3 r_0335_0002__picked_r_0335_0003__up picked up 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] 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_0001__Dorle Dorle r_0335_0002__picked_r_0335_0003__up->r_0335_0001__Dorle [arg0]
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__nim).



%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_0335_0001__DORLE,R_0335_0004__A_R_0335_0005__ROCK,R_0335_0007__THE_R_0335_0008__GROUND,R_0335_0002__PICKED_R_0335_0003__UP] :
      ( r_0335_0001__Dorle(R_0335_0001__DORLE)
      & r_0335_0004__a_r_0335_0005__rock(R_0335_0004__A_R_0335_0005__ROCK)
      & r_0335_0007__the_r_0335_0008__ground(R_0335_0007__THE_R_0335_0008__GROUND)
      & r_0335_0002__picked_r_0335_0003__up(R_0335_0002__PICKED_R_0335_0003__UP)
      & has_r_0335_0006__from__nim(R_0335_0002__PICKED_R_0335_0003__UP,R_0335_0007__THE_R_0335_0008__GROUND)
      & has_arg1(R_0335_0002__PICKED_R_0335_0003__UP,R_0335_0004__A_R_0335_0005__ROCK)
      & has_arg0(R_0335_0002__PICKED_R_0335_0003__UP,R_0335_0001__DORLE) ) ).