492_a_dick_1952
Dorle was wandering around the vault.
( (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))
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).
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) ) ).