492_a_dick_1952
Dorle was wandering around the vault.

n492_a_dick_1952 n492_a_dick_1952__1_1_1_1 Dorle n492_a_dick_1952__1_2_1 was n492_a_dick_1952__1_3_1_1 wandering n492_a_dick_1952__1_3_2_1_1 around n492_a_dick_1952__1_3_2_2_1_1 the n492_a_dick_1952__1_3_2_2_2_1 vault n492_a_dick_1952__1_4_1 . n492_a_dick_1952__1 IP-MAT n492_a_dick_1952__1_1 NP-SBJ n492_a_dick_1952__1->n492_a_dick_1952__1_1 n492_a_dick_1952__1_2 BED;_cat_Vg_ n492_a_dick_1952__1->n492_a_dick_1952__1_2 n492_a_dick_1952__1_3 IP-PPL-CAT n492_a_dick_1952__1->n492_a_dick_1952__1_3 n492_a_dick_1952__1_4 PUNC n492_a_dick_1952__1->n492_a_dick_1952__1_4 n492_a_dick_1952__1_1_1 NPR n492_a_dick_1952__1_1->n492_a_dick_1952__1_1_1 n492_a_dick_1952__1_1_1->n492_a_dick_1952__1_1_1_1 n492_a_dick_1952__1_2->n492_a_dick_1952__1_2_1 n492_a_dick_1952__1_3_1 VAG;_Ipr_ n492_a_dick_1952__1_3->n492_a_dick_1952__1_3_1 n492_a_dick_1952__1_3_2 PP-CLR n492_a_dick_1952__1_3->n492_a_dick_1952__1_3_2 n492_a_dick_1952__1_3_1->n492_a_dick_1952__1_3_1_1 n492_a_dick_1952__1_3_2_1 P-ROLE n492_a_dick_1952__1_3_2->n492_a_dick_1952__1_3_2_1 n492_a_dick_1952__1_3_2_2 NP n492_a_dick_1952__1_3_2->n492_a_dick_1952__1_3_2_2 n492_a_dick_1952__1_3_2_1->n492_a_dick_1952__1_3_2_1_1 n492_a_dick_1952__1_3_2_2_1 D n492_a_dick_1952__1_3_2_2->n492_a_dick_1952__1_3_2_2_1 n492_a_dick_1952__1_3_2_2_2 N n492_a_dick_1952__1_3_2_2->n492_a_dick_1952__1_3_2_2_2 n492_a_dick_1952__1_3_2_2_1->n492_a_dick_1952__1_3_2_2_1_1 n492_a_dick_1952__1_3_2_2_2->n492_a_dick_1952__1_3_2_2_2_1 n492_a_dick_1952__1_4->n492_a_dick_1952__1_4_1
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Ipr_ wandering;{wander[around]})
                      (PP-CLR (P-ROLE around;{around})
                              (NP (D the;{the})
                                  (N vault;{vault}))))
          (PUNC .))
  (ID 492_a_dick_1952))



%3 r_0492_0003__wandering_r_0492_0004__around wandering around r_0492_0005__the_r_0492_0006__vault the vault r_0492_0003__wandering_r_0492_0004__around->r_0492_0005__the_r_0492_0006__vault [arg1] r_0492_0001__Dorle Dorle r_0492_0003__wandering_r_0492_0004__around->r_0492_0001__Dorle [arg0] r_0492_0002__was was r_0492_0002__was->r_0492_0003__wandering_r_0492_0004__around [scope]
arc(r_0492_0002__was,r_0492_0003__wandering_r_0492_0004__around,scope).
arc(r_0492_0003__wandering_r_0492_0004__around,r_0492_0001__Dorle,arg0).
arc(r_0492_0003__wandering_r_0492_0004__around,r_0492_0005__the_r_0492_0006__vault,arg1).



%3 r_0492_0002__was_r_0492_0003__wandering_r_0492_0004__around was wandering around r_0492_0001__Dorle Dorle r_0492_0002__was_r_0492_0003__wandering_r_0492_0004__around->r_0492_0001__Dorle [arg0] r_0492_0005__the_r_0492_0006__vault the vault r_0492_0002__was_r_0492_0003__wandering_r_0492_0004__around->r_0492_0005__the_r_0492_0006__vault [arg1]
fof(formula,axiom,
    ? [R_0492_0001__DORLE,R_0492_0005__THE_R_0492_0006__VAULT,R_0492_0002__WAS_R_0492_0003__WANDERING_R_0492_0004__AROUND] :
      ( r_0492_0001__Dorle(R_0492_0001__DORLE)
      & r_0492_0005__the_r_0492_0006__vault(R_0492_0005__THE_R_0492_0006__VAULT)
      & r_0492_0002__was_r_0492_0003__wandering_r_0492_0004__around(R_0492_0002__WAS_R_0492_0003__WANDERING_R_0492_0004__AROUND)
      & has_arg1(R_0492_0002__WAS_R_0492_0003__WANDERING_R_0492_0004__AROUND,R_0492_0005__THE_R_0492_0006__VAULT)
      & has_arg0(R_0492_0002__WAS_R_0492_0003__WANDERING_R_0492_0004__AROUND,R_0492_0001__DORLE) ) ).