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_115_3_ARE,R_115_1_THE,R_115_2_OLD,R_115_4_STILL,R_115_6_POWER] :
( old(R_115_2_OLD)
& still(R_115_4_STILL)
& power(R_115_6_POWER)
& are(R_115_3_ARE,R_115_1_THE)
& the(R_115_1_THE)
& attrib5(R_115_1_THE,R_115_2_OLD)
& nim10(R_115_3_ARE,R_115_4_STILL)
& in_nim16(R_115_3_ARE,R_115_6_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))