115_a_stuck_japan
The old are still in power
arc(r_0115_0001__The, r_0115_0002__old, attrib5).
arc(r_0115_0003__are, r_0115_0001__The, arg0).
arc(r_0115_0003__are, r_0115_0004__still, nim10).
arc(r_0115_0003__are, r_0115_0006__power, r_0115_0005__in_nim16).
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_nim16(R_0115_0003__ARE,R_0115_0006__POWER)
& has_nim10(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_attrib5(R_0115_0001__THE,R_0115_0002__OLD) ) ).
( (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))