492_a_dick_1952
Dorle was wandering around the vault.

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



%3 r_0492_0002__was_r_0492_0003__wandering was wandering r_0492_0001__Dorle Dorle r_0492_0002__was_r_0492_0003__wandering->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_0005__the_r_0492_0006__vault around [clr]
fof(formula,axiom,
    ? [R_492_2_WAS_WANDERING,R_492_1_DORLE,R_492_5_THE_VAULT] :
      ( dorle(R_492_1_DORLE)
      & the_vault(R_492_5_THE_VAULT)
      & was_wandering(R_492_2_WAS_WANDERING,R_492_1_DORLE)
      & around_clr13(R_492_2_WAS_WANDERING,R_492_5_THE_VAULT) ) ).



n492_a_dick_1952 n492_a_dick_1952_4 Dorle n492_a_dick_1952_6 was n492_a_dick_1952_9 wandering n492_a_dick_1952_12 around n492_a_dick_1952_15 the n492_a_dick_1952_17 vault n492_a_dick_1952_19 . n492_a_dick_1952_1 IP-MAT n492_a_dick_1952_2 NP-SBJ n492_a_dick_1952_1->n492_a_dick_1952_2 n492_a_dick_1952_5 BED;_cat_Vg_ n492_a_dick_1952_1->n492_a_dick_1952_5 n492_a_dick_1952_7 IP-PPL-CAT n492_a_dick_1952_1->n492_a_dick_1952_7 n492_a_dick_1952_18 PUNC n492_a_dick_1952_1->n492_a_dick_1952_18 n492_a_dick_1952_3 NPR n492_a_dick_1952_2->n492_a_dick_1952_3 n492_a_dick_1952_3->n492_a_dick_1952_4 n492_a_dick_1952_5->n492_a_dick_1952_6 n492_a_dick_1952_8 VAG;_Ipr_ n492_a_dick_1952_7->n492_a_dick_1952_8 n492_a_dick_1952_10 PP-CLR n492_a_dick_1952_7->n492_a_dick_1952_10 n492_a_dick_1952_8->n492_a_dick_1952_9 n492_a_dick_1952_11 P-ROLE n492_a_dick_1952_10->n492_a_dick_1952_11 n492_a_dick_1952_13 NP n492_a_dick_1952_10->n492_a_dick_1952_13 n492_a_dick_1952_11->n492_a_dick_1952_12 n492_a_dick_1952_14 D n492_a_dick_1952_13->n492_a_dick_1952_14 n492_a_dick_1952_16 N n492_a_dick_1952_13->n492_a_dick_1952_16 n492_a_dick_1952_14->n492_a_dick_1952_15 n492_a_dick_1952_16->n492_a_dick_1952_17 n492_a_dick_1952_18->n492_a_dick_1952_19
( (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))