29_a_ninjal_mission
The first three volumes appeared early in 2015, and the remaining volumes will appear in 2016 and beyond.
arc(r_0029_0001__The_r_0029_0003__three_r_0029_0004__volumes, r_0029_0002__first, attrib7).
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, nim16).
arc(r_0029_0005__appeared, r_0029_0008__2015, r_0029_0007__in_nim22).
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, 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_nim47).
arc(r_0029_0018__and, r_0029_0017__2016, conj1).
arc(r_0029_0018__and, z_000_29_a_ninjal_mission_55, conj2).
arc(z_000_29_a_ninjal_mission_55, r_0029_0019__beyond, qual56).
fof(formula,axiom,
? [R_29_10_AND,R_29_5_APPEARED,R_29_1_THE_THREE_VOLUMES,R_29_2_FIRST,R_29_6_EARLY,R_29_8_2015,R_29_14_WILL_APPEAR,R_29_18_AND,R_29_17_2016,Z_29_A_NINJAL_MISSION_55,R_29_19_BEYOND,R_29_12_REMAINING,R_29_11_THE_VOLUMES] :
( first(R_29_2_FIRST)
& early(R_29_6_EARLY)
& 2015(R_29_8_2015)
& 2016(R_29_17_2016)
& beyond(R_29_19_BEYOND)
& the_volumes(R_29_11_THE_VOLUMES)
& and(R_29_10_AND)
& conj1(R_29_10_AND,R_29_5_APPEARED)
& appeared(R_29_5_APPEARED,R_29_1_THE_THREE_VOLUMES)
& the_three_volumes(R_29_1_THE_THREE_VOLUMES)
& attrib7(R_29_1_THE_THREE_VOLUMES,R_29_2_FIRST)
& nim16(R_29_5_APPEARED,R_29_6_EARLY)
& in_nim22(R_29_5_APPEARED,R_29_8_2015)
& conj2(R_29_10_AND,R_29_14_WILL_APPEAR)
& will_appear(R_29_14_WILL_APPEAR,R_29_11_THE_VOLUMES)
& in_nim47(R_29_14_WILL_APPEAR,R_29_18_AND)
& and(R_29_18_AND)
& conj1(R_29_18_AND,R_29_17_2016)
& conj2(R_29_18_AND,Z_29_A_NINJAL_MISSION_55)
& z_29_a_ninjal_mission_55(Z_29_A_NINJAL_MISSION_55)
& qual56(Z_29_A_NINJAL_MISSION_55,R_29_19_BEYOND)
& remaining(R_29_12_REMAINING,R_29_11_THE_VOLUMES) ) ).
( (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))