13_a_stuck_japan
Now, its population is both ageing and shrinking.
( (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))
arc(r_0013_0004__population,r_0013_0003__its,gen).
arc(r_0013_0005__is,r_0013_0001__Now,nim).
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_0013_0001__NOW,R_0013_0003__ITS,R_0013_0004__POPULATION,R_0013_0007__AGEING,R_0013_0009__SHRINKING,R_0013_0006__BOTH_R_0013_0008__AND,R_0013_0005__IS] :
( r_0013_0001__Now(R_0013_0001__NOW)
& r_0013_0003__its(R_0013_0003__ITS)
& r_0013_0007__ageing(R_0013_0007__AGEING)
& r_0013_0009__shrinking(R_0013_0009__SHRINKING)
& r_0013_0005__is(R_0013_0005__IS)
& has_prd(R_0013_0005__IS,R_0013_0006__BOTH_R_0013_0008__AND)
& r_0013_0006__both_r_0013_0008__and(R_0013_0006__BOTH_R_0013_0008__AND)
& has_conj2(R_0013_0006__BOTH_R_0013_0008__AND,R_0013_0009__SHRINKING)
& has_conj1(R_0013_0006__BOTH_R_0013_0008__AND,R_0013_0007__AGEING)
& has_arg0(R_0013_0005__IS,R_0013_0004__POPULATION)
& r_0013_0004__population(R_0013_0004__POPULATION)
& has_gen(R_0013_0004__POPULATION,R_0013_0003__ITS)
& has_nim(R_0013_0005__IS,R_0013_0001__NOW) ) ).