13_a_stuck_japan
Now, its population is both ageing and shrinking.

n13_a_stuck_japan n13_a_stuck_japan__1_1_1_1 Now n13_a_stuck_japan__1_2_1 , n13_a_stuck_japan__1_3_1_1_1 its n13_a_stuck_japan__1_3_2_1 population n13_a_stuck_japan__1_4_1 is n13_a_stuck_japan__1_5_1_1_1 both n13_a_stuck_japan__1_5_1_2_1_1 ageing n13_a_stuck_japan__1_5_1_3_1_1 and n13_a_stuck_japan__1_5_1_3_2_1_1 shrinking n13_a_stuck_japan__1_6_1 . n13_a_stuck_japan__1 IP-MAT n13_a_stuck_japan__1_1 ADVP-NIM n13_a_stuck_japan__1->n13_a_stuck_japan__1_1 n13_a_stuck_japan__1_2 PUNC n13_a_stuck_japan__1->n13_a_stuck_japan__1_2 n13_a_stuck_japan__1_3 NP-SBJ n13_a_stuck_japan__1->n13_a_stuck_japan__1_3 n13_a_stuck_japan__1_4 BEP;_La_ n13_a_stuck_japan__1->n13_a_stuck_japan__1_4 n13_a_stuck_japan__1_5 ADJP-PRD n13_a_stuck_japan__1->n13_a_stuck_japan__1_5 n13_a_stuck_japan__1_6 PUNC n13_a_stuck_japan__1->n13_a_stuck_japan__1_6 n13_a_stuck_japan__1_1_1 ADV n13_a_stuck_japan__1_1->n13_a_stuck_japan__1_1_1 n13_a_stuck_japan__1_1_1->n13_a_stuck_japan__1_1_1_1 n13_a_stuck_japan__1_2->n13_a_stuck_japan__1_2_1 n13_a_stuck_japan__1_3_1 NP-GEN n13_a_stuck_japan__1_3->n13_a_stuck_japan__1_3_1 n13_a_stuck_japan__1_3_2 N n13_a_stuck_japan__1_3->n13_a_stuck_japan__1_3_2 n13_a_stuck_japan__1_3_1_1 PRO n13_a_stuck_japan__1_3_1->n13_a_stuck_japan__1_3_1_1 n13_a_stuck_japan__1_3_1_1->n13_a_stuck_japan__1_3_1_1_1 n13_a_stuck_japan__1_3_2->n13_a_stuck_japan__1_3_2_1 n13_a_stuck_japan__1_4->n13_a_stuck_japan__1_4_1 n13_a_stuck_japan__1_5_1 AJLYR n13_a_stuck_japan__1_5->n13_a_stuck_japan__1_5_1 n13_a_stuck_japan__1_5_1_1 CONJ n13_a_stuck_japan__1_5_1->n13_a_stuck_japan__1_5_1_1 n13_a_stuck_japan__1_5_1_2 AJLYR n13_a_stuck_japan__1_5_1->n13_a_stuck_japan__1_5_1_2 n13_a_stuck_japan__1_5_1_3 CONJP n13_a_stuck_japan__1_5_1->n13_a_stuck_japan__1_5_1_3 n13_a_stuck_japan__1_5_1_1->n13_a_stuck_japan__1_5_1_1_1 n13_a_stuck_japan__1_5_1_2_1 ADJ n13_a_stuck_japan__1_5_1_2->n13_a_stuck_japan__1_5_1_2_1 n13_a_stuck_japan__1_5_1_2_1->n13_a_stuck_japan__1_5_1_2_1_1 n13_a_stuck_japan__1_5_1_3_1 CONJ n13_a_stuck_japan__1_5_1_3->n13_a_stuck_japan__1_5_1_3_1 n13_a_stuck_japan__1_5_1_3_2 AJLYR n13_a_stuck_japan__1_5_1_3->n13_a_stuck_japan__1_5_1_3_2 n13_a_stuck_japan__1_5_1_3_1->n13_a_stuck_japan__1_5_1_3_1_1 n13_a_stuck_japan__1_5_1_3_2_1 ADJ n13_a_stuck_japan__1_5_1_3_2->n13_a_stuck_japan__1_5_1_3_2_1 n13_a_stuck_japan__1_5_1_3_2_1->n13_a_stuck_japan__1_5_1_3_2_1_1 n13_a_stuck_japan__1_6->n13_a_stuck_japan__1_6_1
( (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))



%3 r_0013_0006__both_r_0013_0008__and both and r_0013_0009__shrinking shrinking r_0013_0006__both_r_0013_0008__and->r_0013_0009__shrinking [conj2] r_0013_0007__ageing ageing r_0013_0006__both_r_0013_0008__and->r_0013_0007__ageing [conj1] r_0013_0005__is is r_0013_0005__is->r_0013_0006__both_r_0013_0008__and [prd] r_0013_0004__population population r_0013_0005__is->r_0013_0004__population [arg0] r_0013_0001__Now Now r_0013_0005__is->r_0013_0001__Now [nim] r_0013_0003__its its r_0013_0004__population->r_0013_0003__its [gen]
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).



%3 r_0013_0004__population population r_0013_0003__its its r_0013_0004__population->r_0013_0003__its [gen] r_0013_0005__is is r_0013_0005__is->r_0013_0004__population [arg0] r_0013_0001__Now Now r_0013_0005__is->r_0013_0001__Now [nim] r_0013_0006__both_r_0013_0008__and both and r_0013_0005__is->r_0013_0006__both_r_0013_0008__and [prd] r_0013_0007__ageing ageing r_0013_0006__both_r_0013_0008__and->r_0013_0007__ageing [conj1] r_0013_0009__shrinking shrinking 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) ) ).