115_a_stuck_japan
The old are still in power
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ old;{old})))
(BEP;__ are;{be})
(ADVP-NIM (ADV still;{still}))
(PP-NIM (P-ROLE in;{in})
(NP (N power;{power}))))
(ID 115_a_stuck_japan))
arc(r_0115_0001__The,r_0115_0002__old,attrib).
arc(r_0115_0003__are,r_0115_0001__The,arg0).
arc(r_0115_0003__are,r_0115_0004__still,nim).
arc(r_0115_0003__are,r_0115_0006__power,r_0115_0005__in__nim).
fof(formula,axiom,
? [R_0115_0002__OLD,R_0115_0001__THE,R_0115_0004__STILL,R_0115_0006__POWER,R_0115_0003__ARE] :
( r_0115_0002__old(R_0115_0002__OLD)
& r_0115_0004__still(R_0115_0004__STILL)
& r_0115_0006__power(R_0115_0006__POWER)
& r_0115_0003__are(R_0115_0003__ARE)
& has_r_0115_0005__in__nim(R_0115_0003__ARE,R_0115_0006__POWER)
& has_nim(R_0115_0003__ARE,R_0115_0004__STILL)
& has_arg0(R_0115_0003__ARE,R_0115_0001__THE)
& r_0115_0001__The(R_0115_0001__THE)
& has_attrib(R_0115_0001__THE,R_0115_0002__OLD) ) ).