83_a_lob_j01
The niobic acid is dissolved in acid ammonium fluoride and the cycle from the ammonia precipitation repeated.
arc(r_0083_0004__is, r_0083_0005__dissolved, scope).
arc(r_0083_0005__dissolved, r_0083_0001__The_r_0083_0002__niobic_r_0083_0003__acid, arg1).
arc(r_0083_0005__dissolved, r_0083_0009__fluoride, r_0083_0006__in_nim21).
arc(r_0083_0005__dissolved, z_000_83_a_lob_j01_14, arg0).
arc(r_0083_0009__fluoride, r_0083_0007__acid, attrib22).
arc(r_0083_0009__fluoride, r_0083_0008__ammonium, attrib25).
arc(r_0083_0010__and, r_0083_0004__is, conj1).
arc(r_0083_0010__and, z_000_83_a_lob_j01_33, conj2).
arc(r_0083_0011__the_r_0083_0012__cycle, r_0083_0014__the_r_0083_0016__precipitation, r_0083_0013__from).
arc(r_0083_0014__the_r_0083_0016__precipitation, r_0083_0015__ammonia, attrib45).
arc(r_0083_0017__repeated, r_0083_0011__the_r_0083_0012__cycle, arg1).
arc(r_0083_0017__repeated, z_000_83_a_lob_j01_51, arg0).
arc(z_000_83_a_lob_j01_33, r_0083_0017__repeated, scope).
fof(formula,axiom,
? [R_83_10_AND,R_83_4_IS_DISSOLVED,Z_83_A_LOB_J01_14,R_83_1_THE_NIOBIC_ACID,R_83_9_FLUORIDE,R_83_7_ACID,R_83_8_AMMONIUM,Z_83_A_LOB_J01_33_REPEATED,Z_83_A_LOB_J01_51,R_83_11_THE_CYCLE,R_83_14_THE_PRECIPITATION,R_83_15_AMMONIA] :
( the_niobic_acid(R_83_1_THE_NIOBIC_ACID)
& acid(R_83_7_ACID)
& ammonium(R_83_8_AMMONIUM)
& ammonia(R_83_15_AMMONIA)
& and(R_83_10_AND)
& conj1(R_83_10_AND,R_83_4_IS_DISSOLVED)
& is_dissolved(R_83_4_IS_DISSOLVED,Z_83_A_LOB_J01_14,R_83_1_THE_NIOBIC_ACID)
& in_nim21(R_83_4_IS_DISSOLVED,R_83_9_FLUORIDE)
& fluoride(R_83_9_FLUORIDE)
& attrib22(R_83_9_FLUORIDE,R_83_7_ACID)
& attrib25(R_83_9_FLUORIDE,R_83_8_AMMONIUM)
& conj2(R_83_10_AND,Z_83_A_LOB_J01_33_REPEATED)
& z_83_a_lob_j01_33_repeated(Z_83_A_LOB_J01_33_REPEATED,Z_83_A_LOB_J01_51,R_83_11_THE_CYCLE)
& the_cycle(R_83_11_THE_CYCLE)
& from(R_83_11_THE_CYCLE,R_83_14_THE_PRECIPITATION)
& the_precipitation(R_83_14_THE_PRECIPITATION)
& attrib45(R_83_14_THE_PRECIPITATION,R_83_15_AMMONIA) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
(N niobic;{niobic})
(N acid;{acid}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ dissolved;{dissolve})
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADJ acid;{acid}))
(ADJP (ADJ ammonium;{ammonium}))
(N fluoride;{fluoride})))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(N cycle;{cycle})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(ADJP (ADJ ammonia;{ammonia}))
(N precipitation;{precipitation}))))
(IP-PPL-CAT (NP-LGS *)
(VVN;__ repeated;{repeat})))))
(PUNC .))
(ID 83_a_lob_j01))