30_a_lob_a02
Ghana's strong man is not here to face the storm.
( (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))
arc(r_0030_0004__man,r_0030_0001__Ghana,gen).
arc(r_0030_0004__man,r_0030_0003__strong,attrib).
arc(r_0030_0005__is_r_0030_0007__here,r_0030_0004__man,arg0).
arc(r_0030_0006__not,r_0030_0005__is_r_0030_0007__here,keep_scope).
arc(r_0030_0009__face,r_0030_0004__man,arg0).
arc(r_0030_0009__face,r_0030_0010__the_r_0030_0011__storm,arg1).
arc(z_0030_5003,r_0030_0006__not,scope).
arc(z_0030_5003,r_0030_0009__face,restriction).
fof(formula,axiom,
? [R_0030_0001__GHANA,R_0030_0003__STRONG,R_0030_0004__MAN,R_0030_0010__THE_R_0030_0011__STORM,R_0030_0009__FACE,Z_0030_5003] :
( r_0030_0001__Ghana(R_0030_0001__GHANA)
& r_0030_0003__strong(R_0030_0003__STRONG)
& r_0030_0010__the_r_0030_0011__storm(R_0030_0010__THE_R_0030_0011__STORM)
& z_0030_5003(Z_0030_5003)
& has_conj1(Z_0030_5003,R_0030_0009__FACE)
& r_0030_0009__face(R_0030_0009__FACE)
& has_arg1(R_0030_0009__FACE,R_0030_0010__THE_R_0030_0011__STORM)
& has_arg0(R_0030_0009__FACE,R_0030_0004__MAN)
& r_0030_0004__man(R_0030_0004__MAN)
& has_attrib(R_0030_0004__MAN,R_0030_0003__STRONG)
& has_gen(R_0030_0004__MAN,R_0030_0001__GHANA)
& has_conj2(Z_0030_5003,R_0030_0006__NOT)
& ~ ? [R_0030_0005__IS_R_0030_0007__HERE] :
( r_0030_0005__is_r_0030_0007__here(R_0030_0005__IS_R_0030_0007__HERE)
& has_arg0(R_0030_0005__IS_R_0030_0007__HERE,R_0030_0004__MAN) ) ) ).