39_a_dick_1952
As the Captain closed the door the young woman turned.
arc(r_0039_0001__As, r_0039_0004__closed, restriction).
arc(r_0039_0001__As, r_0039_0010__turned, scope).
arc(r_0039_0004__closed, r_0039_0002__the_r_0039_0003__Captain, arg0).
arc(r_0039_0004__closed, r_0039_0005__the_r_0039_0006__door, arg1).
arc(r_0039_0007__the_r_0039_0009__woman, r_0039_0008__young, attrib21).
arc(r_0039_0010__turned, r_0039_0007__the_r_0039_0009__woman, arg0).
fof(formula,axiom,
? [R_39_1_AS,R_39_4_CLOSED,R_39_2_THE_CAPTAIN,R_39_5_THE_DOOR,R_39_10_TURNED,R_39_7_THE_WOMAN,R_39_8_YOUNG] :
( the_Captain(R_39_2_THE_CAPTAIN)
& the_door(R_39_5_THE_DOOR)
& young(R_39_8_YOUNG)
& as(R_39_1_AS)
& conj1(R_39_1_AS,R_39_4_CLOSED)
& closed(R_39_4_CLOSED,R_39_2_THE_CAPTAIN,R_39_5_THE_DOOR)
& conj2(R_39_1_AS,R_39_10_TURNED)
& turned(R_39_10_TURNED,R_39_7_THE_WOMAN)
& the_woman(R_39_7_THE_WOMAN)
& attrib21(R_39_7_THE_WOMAN,R_39_8_YOUNG) ) ).
( (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{CAPTAIN} (D the;{the})
(N Captain;{captain}))
(VBD;_Tn_ closed;{close})
(NP-OB1 (D the;{the})
(N door;{door}))))
(NP-SBJ;{NASHA} (D the;{the})
(ADJP (ADJ young;{young}))
(N woman;{woman}))
(VBD;_I_ turned;{turn})
(PUNC .))
(ID 39_a_dick_1952))