144_a_stuck_japan
As this older generation passes, change is inevitable.
arc(r_0144_0002__this_r_0144_0004__generation_r_0144_0005__passes, r_0144_0003__older, attrib8).
arc(r_0144_0008__is, r_0144_0002__this_r_0144_0004__generation_r_0144_0005__passes, r_0144_0001__As_nim5).
arc(r_0144_0008__is, r_0144_0007__change, arg0).
arc(r_0144_0008__is, r_0144_0009__inevitable, prd).
fof(formula,axiom,
? [R_144_8_IS,R_144_7_CHANGE,R_144_9_INEVITABLE,R_144_2_THIS_GENERATION_PASSES,R_144_3_OLDER] :
( change(R_144_7_CHANGE)
& inevitable(R_144_9_INEVITABLE)
& older(R_144_3_OLDER)
& is(R_144_8_IS,R_144_7_CHANGE,R_144_9_INEVITABLE)
& as_nim5(R_144_8_IS,R_144_2_THIS_GENERATION_PASSES)
& this_generation_passes(R_144_2_THIS_GENERATION_PASSES)
& attrib8(R_144_2_THIS_GENERATION_PASSES,R_144_3_OLDER) ) ).
( (IP-MAT (PP-NIM (P-ROLE As;{as})
(NP (D this;{this})
(ADJP (ADJR older;{old}))
(N generation;{generation})
(NS passes;{pass})))
(PUNC ,)
(NP-SBJ (N change;{change}))
(BEP;__ is;{be})
(ADJP-PRD (ADJ inevitable;{inevitable}))
(PUNC .))
(ID 144_a_stuck_japan))