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

%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]
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).



%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_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) ) ).



n13_a_stuck_japan n13_a_stuck_japan_4 Now n13_a_stuck_japan_6 , n13_a_stuck_japan_10 its n13_a_stuck_japan_12 population n13_a_stuck_japan_14 is n13_a_stuck_japan_18 both n13_a_stuck_japan_21 ageing n13_a_stuck_japan_24 and n13_a_stuck_japan_27 shrinking n13_a_stuck_japan_29 . n13_a_stuck_japan_1 IP-MAT n13_a_stuck_japan_2 ADVP-NIM n13_a_stuck_japan_1->n13_a_stuck_japan_2 n13_a_stuck_japan_5 PUNC n13_a_stuck_japan_1->n13_a_stuck_japan_5 n13_a_stuck_japan_7 NP-SBJ n13_a_stuck_japan_1->n13_a_stuck_japan_7 n13_a_stuck_japan_13 BEP;_La_ n13_a_stuck_japan_1->n13_a_stuck_japan_13 n13_a_stuck_japan_15 ADJP-PRD n13_a_stuck_japan_1->n13_a_stuck_japan_15 n13_a_stuck_japan_28 PUNC n13_a_stuck_japan_1->n13_a_stuck_japan_28 n13_a_stuck_japan_3 ADV n13_a_stuck_japan_2->n13_a_stuck_japan_3 n13_a_stuck_japan_3->n13_a_stuck_japan_4 n13_a_stuck_japan_5->n13_a_stuck_japan_6 n13_a_stuck_japan_8 NP-GEN n13_a_stuck_japan_7->n13_a_stuck_japan_8 n13_a_stuck_japan_11 N n13_a_stuck_japan_7->n13_a_stuck_japan_11 n13_a_stuck_japan_9 PRO n13_a_stuck_japan_8->n13_a_stuck_japan_9 n13_a_stuck_japan_9->n13_a_stuck_japan_10 n13_a_stuck_japan_11->n13_a_stuck_japan_12 n13_a_stuck_japan_13->n13_a_stuck_japan_14 n13_a_stuck_japan_16 AJLYR n13_a_stuck_japan_15->n13_a_stuck_japan_16 n13_a_stuck_japan_17 CONJ n13_a_stuck_japan_16->n13_a_stuck_japan_17 n13_a_stuck_japan_19 AJLYR n13_a_stuck_japan_16->n13_a_stuck_japan_19 n13_a_stuck_japan_22 CONJP n13_a_stuck_japan_16->n13_a_stuck_japan_22 n13_a_stuck_japan_17->n13_a_stuck_japan_18 n13_a_stuck_japan_20 ADJ n13_a_stuck_japan_19->n13_a_stuck_japan_20 n13_a_stuck_japan_20->n13_a_stuck_japan_21 n13_a_stuck_japan_23 CONJ n13_a_stuck_japan_22->n13_a_stuck_japan_23 n13_a_stuck_japan_25 AJLYR n13_a_stuck_japan_22->n13_a_stuck_japan_25 n13_a_stuck_japan_23->n13_a_stuck_japan_24 n13_a_stuck_japan_26 ADJ n13_a_stuck_japan_25->n13_a_stuck_japan_26 n13_a_stuck_japan_26->n13_a_stuck_japan_27 n13_a_stuck_japan_28->n13_a_stuck_japan_29
( (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))