30_a_lob_a02
Ghana's strong man is not here to face the storm.
arc(r_0030_0004__man, r_0030_0001__Ghana_r_0030_0002___apos_s, gen).
arc(r_0030_0004__man, r_0030_0003__strong, attrib8).
arc(r_0030_0005__is, r_0030_0004__man, arg0).
arc(r_0030_0005__is, r_0030_0007__here, clr17).
arc(r_0030_0006__not, r_0030_0005__is, keep_scope).
arc(r_0030_0008__to_r_0030_0009__face, r_0030_0004__man, arg0).
arc(r_0030_0008__to_r_0030_0009__face, r_0030_0010__the_r_0030_0011__storm, arg1).
arc(z_000_30_a_lob_a02_20, r_0030_0006__not, scope).
arc(z_000_30_a_lob_a02_20, r_0030_0008__to_r_0030_0009__face, restriction).
fof(formula,axiom,
? [Z_30_A_LOB_A02_20,R_30_8_TO_FACE,R_30_4_MAN,R_30_3_STRONG,R_30_1_GHANA_APOS_S,R_30_10_THE_STORM] :
( strong(R_30_3_STRONG)
& ghana_apos_s(R_30_1_GHANA_APOS_S)
& the_storm(R_30_10_THE_STORM)
& z_30_a_lob_a02_20(Z_30_A_LOB_A02_20)
& conj1(Z_30_A_LOB_A02_20,R_30_8_TO_FACE)
& to_face(R_30_8_TO_FACE,R_30_4_MAN,R_30_10_THE_STORM)
& man(R_30_4_MAN)
& attrib8(R_30_4_MAN,R_30_3_STRONG)
& gen(R_30_4_MAN,R_30_1_GHANA_APOS_S)
& conj2(Z_30_A_LOB_A02_20,R_30_6_NOT)
& ~ ? [R_30_5_IS,R_30_7_HERE] :
( here(R_30_7_HERE)
& is(R_30_5_IS,R_30_4_MAN)
& clr17(R_30_5_IS,R_30_7_HERE) ) ) ).
( (IP-MAT (NP-SBJ (NP-GEN (NPR Ghana;{Ghana})
(GENM <apos>s))
(ADJP (ADJ strong;{strong}))
(N man;{man}))
(BEP;_Ip_ is;{be[here]})
(NEG not;{not})
(ADVP-CLR (ADV here;{here}))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Tn_ face;{face})
(NP-OB1 (D the;{the})
(N storm;{storm}))))
(PUNC .))
(ID 30_a_lob_a02))