140_a_stuck_japan
These rural strongholds are crucial now because of demographics.
arc(r_0140_0001__These_r_0140_0003__strongholds, r_0140_0002__rural, attrib5).
arc(r_0140_0004__are, r_0140_0001__These_r_0140_0003__strongholds, arg0).
arc(r_0140_0004__are, r_0140_0005__crucial, prd).
arc(r_0140_0004__are, r_0140_0006__now, qual15).
arc(r_0140_0004__are, r_0140_0008__demographics, r_0140_0007__because_of_nim21).
fof(formula,axiom,
? [R_140_4_ARE,R_140_1_THESE_STRONGHOLDS,R_140_2_RURAL,R_140_5_CRUCIAL,R_140_6_NOW,R_140_8_DEMOGRAPHICS] :
( rural(R_140_2_RURAL)
& crucial(R_140_5_CRUCIAL)
& now(R_140_6_NOW)
& demographics(R_140_8_DEMOGRAPHICS)
& are(R_140_4_ARE,R_140_1_THESE_STRONGHOLDS,R_140_5_CRUCIAL)
& these_strongholds(R_140_1_THESE_STRONGHOLDS)
& attrib5(R_140_1_THESE_STRONGHOLDS,R_140_2_RURAL)
& qual15(R_140_4_ARE,R_140_6_NOW)
& because_of_nim21(R_140_4_ARE,R_140_8_DEMOGRAPHICS) ) ).
( (IP-MAT (NP-SBJ (D These;{this})
(ADJP (ADJ rural;{rural}))
(NS strongholds;{stronghold}))
(BEP;__ are;{be})
(ADJP-PRD (ADJ crucial;{crucial}))
(ADVP (ADV now;{now}))
(PP-NIM (P-ROLE because_of;{because_of})
(NP (NS demographics;{demographic})))
(PUNC .))
(ID 140_a_stuck_japan))