37_a_dick_1952
He strode off down the corridor, dignified and expressionless.
( (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))
arc(r_0037_0002__strode_r_0037_0004__down,r_0037_0001__He,arg0).
arc(r_0037_0002__strode_r_0037_0004__down,r_0037_0003__off,nim).
arc(r_0037_0002__strode_r_0037_0004__down,r_0037_0005__the_r_0037_0006__corridor,arg1).
arc(r_0037_0002__strode_r_0037_0004__down,r_0037_0009__and,nim).
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_0004__DOWN] :
( 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_0004__down(R_0037_0002__STRODE_R_0037_0004__DOWN)
& has_nim(R_0037_0002__STRODE_R_0037_0004__DOWN,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_arg1(R_0037_0002__STRODE_R_0037_0004__DOWN,R_0037_0005__THE_R_0037_0006__CORRIDOR)
& has_nim(R_0037_0002__STRODE_R_0037_0004__DOWN,R_0037_0003__OFF)
& has_arg0(R_0037_0002__STRODE_R_0037_0004__DOWN,R_0037_0001__HE) ) ).