37_a_dick_1952
He strode off down the corridor, dignified and expressionless.
arc(r_0037_0002__strode, r_0037_0001__He, arg0).
arc(r_0037_0002__strode, r_0037_0003__off, nim7).
arc(r_0037_0002__strode, r_0037_0005__the_r_0037_0006__corridor, r_0037_0004__down_clr13).
arc(r_0037_0002__strode, r_0037_0009__and, attrib20).
arc(r_0037_0009__and, r_0037_0008__dignified, conj1).
arc(r_0037_0009__and, r_0037_0010__expressionless, conj2).
fof(formula,axiom,
? [R_0037_0001__HE,R_0037_0003__OFF,R_0037_0005__THE_R_0037_0006__CORRIDOR,R_0037_0008__DIGNIFIED,R_0037_0010__EXPRESSIONLESS,R_0037_0009__AND,R_0037_0002__STRODE] :
( r_0037_0001__He(R_0037_0001__HE)
& r_0037_0003__off(R_0037_0003__OFF)
& r_0037_0005__the_r_0037_0006__corridor(R_0037_0005__THE_R_0037_0006__CORRIDOR)
& r_0037_0008__dignified(R_0037_0008__DIGNIFIED)
& r_0037_0010__expressionless(R_0037_0010__EXPRESSIONLESS)
& r_0037_0002__strode(R_0037_0002__STRODE)
& has_attrib20(R_0037_0002__STRODE,R_0037_0009__AND)
& r_0037_0009__and(R_0037_0009__AND)
& has_conj2(R_0037_0009__AND,R_0037_0010__EXPRESSIONLESS)
& has_conj1(R_0037_0009__AND,R_0037_0008__DIGNIFIED)
& has_r_0037_0004__down_clr13(R_0037_0002__STRODE,R_0037_0005__THE_R_0037_0006__CORRIDOR)
& has_nim7(R_0037_0002__STRODE,R_0037_0003__OFF)
& has_arg0(R_0037_0002__STRODE,R_0037_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{CAPTAIN} (PRO He;{he}))
(VBD;_Ipr_ strode;{stride[down]})
(ADVP-NIM (RP off;{off}))
(PP-CLR (P-ROLE down;{down})
(NP (D the;{the})
(N corridor;{corridor})))
(PUNC ,)
(ADJP-NIM (AJLYR (AJLYR (ADJ dignified;{dignified}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ expressionless;{expressionless})))))
(PUNC .))
(ID 37_a_dick_1952))