13_a_stuck_japan
Now, its population is both ageing and shrinking.
arc(r_0013_0004__population, r_0013_0003__its, gen).
arc(r_0013_0005__is, r_0013_0001__Now, nim2).
arc(r_0013_0005__is, r_0013_0004__population, arg0).
arc(r_0013_0005__is, r_0013_0006__both_r_0013_0008__and, prd).
arc(r_0013_0006__both_r_0013_0008__and, r_0013_0007__ageing, conj1).
arc(r_0013_0006__both_r_0013_0008__and, r_0013_0009__shrinking, conj2).
fof(formula,axiom,
? [R_13_5_IS,R_13_4_POPULATION,R_13_3_ITS,R_13_1_NOW,R_13_6_BOTH_AND,R_13_7_AGEING,R_13_9_SHRINKING] :
( its(R_13_3_ITS)
& now(R_13_1_NOW)
& ageing(R_13_7_AGEING)
& shrinking(R_13_9_SHRINKING)
& is(R_13_5_IS,R_13_4_POPULATION,R_13_6_BOTH_AND)
& population(R_13_4_POPULATION)
& gen(R_13_4_POPULATION,R_13_3_ITS)
& both_and(R_13_6_BOTH_AND)
& conj1(R_13_6_BOTH_AND,R_13_7_AGEING)
& conj2(R_13_6_BOTH_AND,R_13_9_SHRINKING)
& nim2(R_13_5_IS,R_13_1_NOW) ) ).
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
(PUNC ,)
(NP-SBJ (NP-GEN;{JAPAN} (PRO its;{its}))
(N population;{population}))
(BEP;_La_ is;{be})
(ADJP-PRD (AJLYR (CONJ both;{both})
(AJLYR (ADJ ageing;{ageing}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ shrinking;{shrinking})))))
(PUNC .))
(ID 13_a_stuck_japan))