115_a_lob_a01
Then Mr Brown swung his attack directly to the unsmiling Mr Powell.
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
(NP-SBJ;{BROWN} (N Mr;{mr})
(NPR Brown;{Brown}))
(VBD;__ swung;{swing})
(NP-OB1 (NP-GEN;{BROWN} (PRO;_genm_ his;{his}))
(N attack;{attack}))
(ADVP-NIM (ADV directly;{directly}))
(PP-NIM (P-ROLE to;{to})
(NP;{POWELL} (PRN (NP (D the;{the})
(ADJP (ADJ unsmiling;{unsmiling}))))
(N Mr;{mr})
(NPR Powell;{Powell})))
(PUNC .))
(ID 115_a_lob_a01))
arc(r_0115_0004__swung,r_0115_0001__Then,nim).
arc(r_0115_0004__swung,r_0115_0002__Mr_r_0115_0003__Brown,arg0).
arc(r_0115_0004__swung,r_0115_0006__attack,arg1).
arc(r_0115_0004__swung,r_0115_0007__directly,nim).
arc(r_0115_0004__swung,r_0115_0011__Mr_r_0115_0012__Powell,r_0115_0008__to__nim).
arc(r_0115_0006__attack,r_0115_0002__Mr_r_0115_0003__Brown,gen).
arc(r_0115_0009__the,r_0115_0010__unsmiling,attrib).
arc(z_0115_5006,r_0115_0009__the,prd).
arc(z_0115_5006,r_0115_0011__Mr_r_0115_0012__Powell,arg0).
fof(formula,axiom,
? [R_0115_0001__THEN,R_0115_0002__MR_R_0115_0003__BROWN,R_0115_0006__ATTACK,R_0115_0007__DIRECTLY,R_0115_0011__MR_R_0115_0012__POWELL,R_0115_0004__SWUNG,R_0115_0010__UNSMILING,R_0115_0009__THE,Z_0115_5006] :
( r_0115_0001__Then(R_0115_0001__THEN)
& r_0115_0002__Mr_r_0115_0003__Brown(R_0115_0002__MR_R_0115_0003__BROWN)
& r_0115_0007__directly(R_0115_0007__DIRECTLY)
& r_0115_0010__unsmiling(R_0115_0010__UNSMILING)
& r_0115_0011__Mr_r_0115_0012__Powell(R_0115_0011__MR_R_0115_0012__POWELL)
& z_0115_5006(Z_0115_5006)
& has_arg0(Z_0115_5006,R_0115_0011__MR_R_0115_0012__POWELL)
& has_prd(Z_0115_5006,R_0115_0009__THE)
& r_0115_0009__the(R_0115_0009__THE)
& has_attrib(R_0115_0009__THE,R_0115_0010__UNSMILING)
& r_0115_0004__swung(R_0115_0004__SWUNG)
& has_r_0115_0008__to__nim(R_0115_0004__SWUNG,R_0115_0011__MR_R_0115_0012__POWELL)
& has_nim(R_0115_0004__SWUNG,R_0115_0007__DIRECTLY)
& has_arg1(R_0115_0004__SWUNG,R_0115_0006__ATTACK)
& r_0115_0006__attack(R_0115_0006__ATTACK)
& has_gen(R_0115_0006__ATTACK,R_0115_0002__MR_R_0115_0003__BROWN)
& has_arg0(R_0115_0004__SWUNG,R_0115_0002__MR_R_0115_0003__BROWN)
& has_nim(R_0115_0004__SWUNG,R_0115_0001__THEN) ) ).