TSPC 29_a_ninjal

29_a_ninjal_mission
The first three volumes appeared early in 2015, and the remaining volumes will appear in 2016 and beyond.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (ADJP (ADJ first;{first}))
                              (NUM three;{three})
                              (NS volumes;{volume}))
                      (VBD;_I_ appeared;{appear})
                      (ADVP-NIM (ADV early;{early}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR 2015))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (IP-PPL (VAG;_I_ remaining;{remain}))
                                     (NS volumes;{volume}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_I_ appear;{appear})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (NLYR (NLYR (NPR 2016))
                                                           (CONJP (CONJ and;{and})
                                                                  (NLYR (ADVP (ADV beyond;{beyond})))))))))))
          (PUNC .))
  (ID 29_a_ninjal_mission))

arc(r_0029_0001__The_r_0029_0003__three_r_0029_0004__volumes,r_0029_0002__first,attrib).
arc(r_0029_0005__appeared,r_0029_0001__The_r_0029_0003__three_r_0029_0004__volumes,arg0).
arc(r_0029_0005__appeared,r_0029_0006__early,nim).
arc(r_0029_0005__appeared,r_0029_0008__2015,r_0029_0007__in__nim).
arc(r_0029_0010__and,r_0029_0005__appeared,conj1).
arc(r_0029_0010__and,r_0029_0014__will,conj2).
arc(r_0029_0012__remaining,r_0029_0011__the_r_0029_0013__volumes,inv_arg0).
arc(r_0029_0014__will,r_0029_0015__appear,scope).
arc(r_0029_0015__appear,r_0029_0011__the_r_0029_0013__volumes,arg0).
arc(r_0029_0015__appear,r_0029_0018__and,r_0029_0016__in__nim).
arc(r_0029_0018__and,r_0029_0017__2016,conj1).
arc(r_0029_0018__and,z_0029_5011,conj2).
arc(z_0029_5011,r_0029_0019__beyond,qual).

fof(formula,axiom,
    ? [R_0029_0002__FIRST,R_0029_0001__THE_R_0029_0003__THREE_R_0029_0004__VOLUMES,R_0029_0006__EARLY,R_0029_0008__2015,R_0029_0005__APPEARED,R_0029_0012__REMAINING,R_0029_0011__THE_R_0029_0013__VOLUMES,R_0029_0017__2016,R_0029_0019__BEYOND,Z_0029_5011,R_0029_0018__AND,R_0029_0014__WILL_R_0029_0015__APPEAR,R_0029_0010__AND] :
      ( r_0029_0002__first(R_0029_0002__FIRST)
      & r_0029_0006__early(R_0029_0006__EARLY)
      & r_0029_0008__2015(R_0029_0008__2015)
      & r_0029_0012__remaining(R_0029_0012__REMAINING)
      & r_0029_0017__2016(R_0029_0017__2016)
      & r_0029_0019__beyond(R_0029_0019__BEYOND)
      & r_0029_0010__and(R_0029_0010__AND)
      & has_conj2(R_0029_0010__AND,R_0029_0014__WILL_R_0029_0015__APPEAR)
      & r_0029_0014__will_r_0029_0015__appear(R_0029_0014__WILL_R_0029_0015__APPEAR)
      & has_r_0029_0016__in__nim(R_0029_0014__WILL_R_0029_0015__APPEAR,R_0029_0018__AND)
      & r_0029_0018__and(R_0029_0018__AND)
      & has_conj2(R_0029_0018__AND,Z_0029_5011)
      & z_0029_5011(Z_0029_5011)
      & has_qual(Z_0029_5011,R_0029_0019__BEYOND)
      & has_conj1(R_0029_0018__AND,R_0029_0017__2016)
      & has_arg0(R_0029_0014__WILL_R_0029_0015__APPEAR,R_0029_0011__THE_R_0029_0013__VOLUMES)
      & r_0029_0011__the_r_0029_0013__volumes(R_0029_0011__THE_R_0029_0013__VOLUMES)
      & has_inv_arg0(R_0029_0011__THE_R_0029_0013__VOLUMES,R_0029_0012__REMAINING)
      & has_conj1(R_0029_0010__AND,R_0029_0005__APPEARED)
      & r_0029_0005__appeared(R_0029_0005__APPEARED)
      & has_r_0029_0007__in__nim(R_0029_0005__APPEARED,R_0029_0008__2015)
      & has_nim(R_0029_0005__APPEARED,R_0029_0006__EARLY)
      & has_arg0(R_0029_0005__APPEARED,R_0029_0001__THE_R_0029_0003__THREE_R_0029_0004__VOLUMES)
      & r_0029_0001__The_r_0029_0003__three_r_0029_0004__volumes(R_0029_0001__THE_R_0029_0003__THREE_R_0029_0004__VOLUMES)
      & has_attrib(R_0029_0001__THE_R_0029_0003__THREE_R_0029_0004__VOLUMES,R_0029_0002__FIRST) ) ).