140_a_stuck_japan
These rural strongholds are crucial now because of 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))
arc(r_0140_0001__These_r_0140_0003__strongholds,r_0140_0002__rural,attrib).
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,qual).
arc(r_0140_0004__are,r_0140_0008__demographics,r_0140_0007__because_of__nim).
fof(formula,axiom,
? [R_0140_0002__RURAL,R_0140_0001__THESE_R_0140_0003__STRONGHOLDS,R_0140_0005__CRUCIAL,R_0140_0006__NOW,R_0140_0008__DEMOGRAPHICS,R_0140_0004__ARE] :
( r_0140_0002__rural(R_0140_0002__RURAL)
& r_0140_0005__crucial(R_0140_0005__CRUCIAL)
& r_0140_0006__now(R_0140_0006__NOW)
& r_0140_0008__demographics(R_0140_0008__DEMOGRAPHICS)
& r_0140_0004__are(R_0140_0004__ARE)
& has_r_0140_0007__because_of__nim(R_0140_0004__ARE,R_0140_0008__DEMOGRAPHICS)
& has_qual(R_0140_0004__ARE,R_0140_0006__NOW)
& has_prd(R_0140_0004__ARE,R_0140_0005__CRUCIAL)
& has_arg0(R_0140_0004__ARE,R_0140_0001__THESE_R_0140_0003__STRONGHOLDS)
& r_0140_0001__These_r_0140_0003__strongholds(R_0140_0001__THESE_R_0140_0003__STRONGHOLDS)
& has_attrib(R_0140_0001__THESE_R_0140_0003__STRONGHOLDS,R_0140_0002__RURAL) ) ).