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_0144_0003__OLDER,R_0144_0002__THIS_R_0144_0004__GENERATION_R_0144_0005__PASSES,R_0144_0007__CHANGE,R_0144_0009__INEVITABLE,R_0144_0008__IS] :
( r_0144_0003__older(R_0144_0003__OLDER)
& r_0144_0007__change(R_0144_0007__CHANGE)
& r_0144_0009__inevitable(R_0144_0009__INEVITABLE)
& r_0144_0008__is(R_0144_0008__IS)
& has_prd(R_0144_0008__IS,R_0144_0009__INEVITABLE)
& has_arg0(R_0144_0008__IS,R_0144_0007__CHANGE)
& has_r_0144_0001__As_nim5(R_0144_0008__IS,R_0144_0002__THIS_R_0144_0004__GENERATION_R_0144_0005__PASSES)
& r_0144_0002__this_r_0144_0004__generation_r_0144_0005__passes(R_0144_0002__THIS_R_0144_0004__GENERATION_R_0144_0005__PASSES)
& has_attrib8(R_0144_0002__THIS_R_0144_0004__GENERATION_R_0144_0005__PASSES,R_0144_0003__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))