474_a_dick_1952
Dorle was already prying at the wood.

n474_a_dick_1952 n474_a_dick_1952__1_1_1_1 Dorle n474_a_dick_1952__1_2_1 was n474_a_dick_1952__1_3_1_1_1 already n474_a_dick_1952__1_3_2_1 prying n474_a_dick_1952__1_3_3_1_1 at n474_a_dick_1952__1_3_3_2_1_1 the n474_a_dick_1952__1_3_3_2_2_1 wood n474_a_dick_1952__1_4_1 . n474_a_dick_1952__1 IP-MAT n474_a_dick_1952__1_1 NP-SBJ n474_a_dick_1952__1->n474_a_dick_1952__1_1 n474_a_dick_1952__1_2 BED;_cat_Vg_ n474_a_dick_1952__1->n474_a_dick_1952__1_2 n474_a_dick_1952__1_3 IP-PPL-CAT n474_a_dick_1952__1->n474_a_dick_1952__1_3 n474_a_dick_1952__1_4 PUNC n474_a_dick_1952__1->n474_a_dick_1952__1_4 n474_a_dick_1952__1_1_1 NPR n474_a_dick_1952__1_1->n474_a_dick_1952__1_1_1 n474_a_dick_1952__1_1_1->n474_a_dick_1952__1_1_1_1 n474_a_dick_1952__1_2->n474_a_dick_1952__1_2_1 n474_a_dick_1952__1_3_1 ADVP-NIM n474_a_dick_1952__1_3->n474_a_dick_1952__1_3_1 n474_a_dick_1952__1_3_2 VAG;_Ipr_ n474_a_dick_1952__1_3->n474_a_dick_1952__1_3_2 n474_a_dick_1952__1_3_3 PP-CLR n474_a_dick_1952__1_3->n474_a_dick_1952__1_3_3 n474_a_dick_1952__1_3_1_1 ADV n474_a_dick_1952__1_3_1->n474_a_dick_1952__1_3_1_1 n474_a_dick_1952__1_3_1_1->n474_a_dick_1952__1_3_1_1_1 n474_a_dick_1952__1_3_2->n474_a_dick_1952__1_3_2_1 n474_a_dick_1952__1_3_3_1 P-ROLE n474_a_dick_1952__1_3_3->n474_a_dick_1952__1_3_3_1 n474_a_dick_1952__1_3_3_2 NP n474_a_dick_1952__1_3_3->n474_a_dick_1952__1_3_3_2 n474_a_dick_1952__1_3_3_1->n474_a_dick_1952__1_3_3_1_1 n474_a_dick_1952__1_3_3_2_1 D n474_a_dick_1952__1_3_3_2->n474_a_dick_1952__1_3_3_2_1 n474_a_dick_1952__1_3_3_2_2 N n474_a_dick_1952__1_3_3_2->n474_a_dick_1952__1_3_3_2_2 n474_a_dick_1952__1_3_3_2_1->n474_a_dick_1952__1_3_3_2_1_1 n474_a_dick_1952__1_3_3_2_2->n474_a_dick_1952__1_3_3_2_2_1 n474_a_dick_1952__1_4->n474_a_dick_1952__1_4_1
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV already;{already}))
                      (VAG;_Ipr_ prying;{pry[at]})
                      (PP-CLR (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (N wood;{wood}))))
          (PUNC .))
  (ID 474_a_dick_1952))



%3 r_0474_0004__prying_r_0474_0005__at prying at r_0474_0006__the_r_0474_0007__wood the wood r_0474_0004__prying_r_0474_0005__at->r_0474_0006__the_r_0474_0007__wood [arg1] r_0474_0003__already already r_0474_0004__prying_r_0474_0005__at->r_0474_0003__already [nim] r_0474_0001__Dorle Dorle r_0474_0004__prying_r_0474_0005__at->r_0474_0001__Dorle [arg0] r_0474_0002__was was r_0474_0002__was->r_0474_0004__prying_r_0474_0005__at [scope]
arc(r_0474_0002__was,r_0474_0004__prying_r_0474_0005__at,scope).
arc(r_0474_0004__prying_r_0474_0005__at,r_0474_0001__Dorle,arg0).
arc(r_0474_0004__prying_r_0474_0005__at,r_0474_0003__already,nim).
arc(r_0474_0004__prying_r_0474_0005__at,r_0474_0006__the_r_0474_0007__wood,arg1).



%3 r_0474_0002__was_r_0474_0004__prying_r_0474_0005__at was prying at r_0474_0001__Dorle Dorle r_0474_0002__was_r_0474_0004__prying_r_0474_0005__at->r_0474_0001__Dorle [arg0] r_0474_0003__already already r_0474_0002__was_r_0474_0004__prying_r_0474_0005__at->r_0474_0003__already [nim] r_0474_0006__the_r_0474_0007__wood the wood r_0474_0002__was_r_0474_0004__prying_r_0474_0005__at->r_0474_0006__the_r_0474_0007__wood [arg1]
fof(formula,axiom,
    ? [R_0474_0001__DORLE,R_0474_0003__ALREADY,R_0474_0006__THE_R_0474_0007__WOOD,R_0474_0002__WAS_R_0474_0004__PRYING_R_0474_0005__AT] :
      ( r_0474_0001__Dorle(R_0474_0001__DORLE)
      & r_0474_0003__already(R_0474_0003__ALREADY)
      & r_0474_0006__the_r_0474_0007__wood(R_0474_0006__THE_R_0474_0007__WOOD)
      & r_0474_0002__was_r_0474_0004__prying_r_0474_0005__at(R_0474_0002__WAS_R_0474_0004__PRYING_R_0474_0005__AT)
      & has_arg1(R_0474_0002__WAS_R_0474_0004__PRYING_R_0474_0005__AT,R_0474_0006__THE_R_0474_0007__WOOD)
      & has_nim(R_0474_0002__WAS_R_0474_0004__PRYING_R_0474_0005__AT,R_0474_0003__ALREADY)
      & has_arg0(R_0474_0002__WAS_R_0474_0004__PRYING_R_0474_0005__AT,R_0474_0001__DORLE) ) ).