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_0083_0001__THE_R_0083_0002__NIOBIC_R_0083_0003__ACID,R_0083_0007__ACID,R_0083_0008__AMMONIUM,R_0083_0009__FLUORIDE,Z_000_83_A_LOB_J01_14,R_0083_0004__IS_R_0083_0005__DISSOLVED,R_0083_0015__AMMONIA,R_0083_0014__THE_R_0083_0016__PRECIPITATION,R_0083_0011__THE_R_0083_0012__CYCLE,Z_000_83_A_LOB_J01_51,Z_000_83_A_LOB_J01_33_R_0083_0017__REPEATED,R_0083_0010__AND] :
( r_0083_0001__The_r_0083_0002__niobic_r_0083_0003__acid(R_0083_0001__THE_R_0083_0002__NIOBIC_R_0083_0003__ACID)
& r_0083_0007__acid(R_0083_0007__ACID)
& r_0083_0008__ammonium(R_0083_0008__AMMONIUM)
& r_0083_0015__ammonia(R_0083_0015__AMMONIA)
& z_000_83_a_lob_j01_14(Z_000_83_A_LOB_J01_14)
& z_000_83_a_lob_j01_51(Z_000_83_A_LOB_J01_51)
& r_0083_0010__and(R_0083_0010__AND)
& has_conj2(R_0083_0010__AND,Z_000_83_A_LOB_J01_33_R_0083_0017__REPEATED)
& z_000_83_a_lob_j01_33_r_0083_0017__repeated(Z_000_83_A_LOB_J01_33_R_0083_0017__REPEATED)
& has_arg0(Z_000_83_A_LOB_J01_33_R_0083_0017__REPEATED,Z_000_83_A_LOB_J01_51)
& has_arg1(Z_000_83_A_LOB_J01_33_R_0083_0017__REPEATED,R_0083_0011__THE_R_0083_0012__CYCLE)
& r_0083_0011__the_r_0083_0012__cycle(R_0083_0011__THE_R_0083_0012__CYCLE)
& has_r_0083_0013__from(R_0083_0011__THE_R_0083_0012__CYCLE,R_0083_0014__THE_R_0083_0016__PRECIPITATION)
& r_0083_0014__the_r_0083_0016__precipitation(R_0083_0014__THE_R_0083_0016__PRECIPITATION)
& has_attrib45(R_0083_0014__THE_R_0083_0016__PRECIPITATION,R_0083_0015__AMMONIA)
& has_conj1(R_0083_0010__AND,R_0083_0004__IS_R_0083_0005__DISSOLVED)
& r_0083_0004__is_r_0083_0005__dissolved(R_0083_0004__IS_R_0083_0005__DISSOLVED)
& has_arg0(R_0083_0004__IS_R_0083_0005__DISSOLVED,Z_000_83_A_LOB_J01_14)
& has_r_0083_0006__in_nim21(R_0083_0004__IS_R_0083_0005__DISSOLVED,R_0083_0009__FLUORIDE)
& r_0083_0009__fluoride(R_0083_0009__FLUORIDE)
& has_attrib25(R_0083_0009__FLUORIDE,R_0083_0008__AMMONIUM)
& has_attrib22(R_0083_0009__FLUORIDE,R_0083_0007__ACID)
& has_arg1(R_0083_0004__IS_R_0083_0005__DISSOLVED,R_0083_0001__THE_R_0083_0002__NIOBIC_R_0083_0003__ACID) ) ).
( (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))