144_a_stuck_japan
As this older generation passes, change is inevitable.
( (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))
arc(r_0144_0002__this_r_0144_0004__generation_r_0144_0005__passes,r_0144_0003__older,attrib).
arc(r_0144_0008__is,r_0144_0002__this_r_0144_0004__generation_r_0144_0005__passes,r_0144_0001__As__nim).
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__nim(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_attrib(R_0144_0002__THIS_R_0144_0004__GENERATION_R_0144_0005__PASSES,R_0144_0003__OLDER) ) ).