83_a_lob_j01
The niobic acid is dissolved in acid ammonium fluoride and the cycle from the ammonia precipitation repeated.

%3 r_0083_0004__is is r_0083_0005__dissolved dissolved r_0083_0004__is->r_0083_0005__dissolved [scope] r_0083_0001__The_r_0083_0002__niobic_r_0083_0003__acid The niobic acid r_0083_0005__dissolved->r_0083_0001__The_r_0083_0002__niobic_r_0083_0003__acid [arg1] r_0083_0009__fluoride fluoride r_0083_0005__dissolved->r_0083_0009__fluoride in [nim] z_000_83_a_lob_j01_14 r_0083_0005__dissolved->z_000_83_a_lob_j01_14 [arg0] r_0083_0007__acid acid r_0083_0009__fluoride->r_0083_0007__acid [attrib] r_0083_0008__ammonium ammonium r_0083_0009__fluoride->r_0083_0008__ammonium [attrib] r_0083_0010__and and r_0083_0010__and->r_0083_0004__is [conj1] z_000_83_a_lob_j01_33 r_0083_0010__and->z_000_83_a_lob_j01_33 [conj2] r_0083_0017__repeated repeated z_000_83_a_lob_j01_33->r_0083_0017__repeated [scope] r_0083_0011__the_r_0083_0012__cycle the cycle r_0083_0014__the_r_0083_0016__precipitation the precipitation r_0083_0011__the_r_0083_0012__cycle->r_0083_0014__the_r_0083_0016__precipitation from r_0083_0015__ammonia ammonia r_0083_0014__the_r_0083_0016__precipitation->r_0083_0015__ammonia [attrib] r_0083_0017__repeated->r_0083_0011__the_r_0083_0012__cycle [arg1] z_000_83_a_lob_j01_51 r_0083_0017__repeated->z_000_83_a_lob_j01_51 [arg0]
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).



%3 r_0083_0004__is_r_0083_0005__dissolved is dissolved r_0083_0001__The_r_0083_0002__niobic_r_0083_0003__acid The niobic acid r_0083_0004__is_r_0083_0005__dissolved->r_0083_0001__The_r_0083_0002__niobic_r_0083_0003__acid [arg1] r_0083_0009__fluoride fluoride r_0083_0004__is_r_0083_0005__dissolved->r_0083_0009__fluoride in [nim] z_000_83_a_lob_j01_14 r_0083_0004__is_r_0083_0005__dissolved->z_000_83_a_lob_j01_14 [arg0] r_0083_0007__acid acid r_0083_0009__fluoride->r_0083_0007__acid [attrib] r_0083_0008__ammonium ammonium r_0083_0009__fluoride->r_0083_0008__ammonium [attrib] r_0083_0010__and and r_0083_0010__and->r_0083_0004__is_r_0083_0005__dissolved [conj1] z_000_83_a_lob_j01_33_r_0083_0017__repeated repeated r_0083_0010__and->z_000_83_a_lob_j01_33_r_0083_0017__repeated [conj2] r_0083_0011__the_r_0083_0012__cycle the cycle z_000_83_a_lob_j01_33_r_0083_0017__repeated->r_0083_0011__the_r_0083_0012__cycle [arg1] z_000_83_a_lob_j01_51 z_000_83_a_lob_j01_33_r_0083_0017__repeated->z_000_83_a_lob_j01_51 [arg0] r_0083_0014__the_r_0083_0016__precipitation the precipitation r_0083_0011__the_r_0083_0012__cycle->r_0083_0014__the_r_0083_0016__precipitation from r_0083_0015__ammonia ammonia r_0083_0014__the_r_0083_0016__precipitation->r_0083_0015__ammonia [attrib]
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) ) ).



n83_a_lob_j01 n83_a_lob_j01_6 The n83_a_lob_j01_8 niobic n83_a_lob_j01_10 acid n83_a_lob_j01_12 is n83_a_lob_j01_15 * n83_a_lob_j01_17 dissolved n83_a_lob_j01_20 in n83_a_lob_j01_24 acid n83_a_lob_j01_27 ammonium n83_a_lob_j01_29 fluoride n83_a_lob_j01_32 and n83_a_lob_j01_36 the n83_a_lob_j01_38 cycle n83_a_lob_j01_41 from n83_a_lob_j01_44 the n83_a_lob_j01_47 ammonia n83_a_lob_j01_49 precipitation n83_a_lob_j01_52 * n83_a_lob_j01_54 repeated n83_a_lob_j01_56 . n83_a_lob_j01_1 IP-MAT n83_a_lob_j01_2 ILYR n83_a_lob_j01_1->n83_a_lob_j01_2 n83_a_lob_j01_55 PUNC n83_a_lob_j01_1->n83_a_lob_j01_55 n83_a_lob_j01_3 ILYR n83_a_lob_j01_2->n83_a_lob_j01_3 n83_a_lob_j01_30 CONJP n83_a_lob_j01_2->n83_a_lob_j01_30 n83_a_lob_j01_4 NP-SBJ n83_a_lob_j01_3->n83_a_lob_j01_4 n83_a_lob_j01_11 BEP;_cat_VePASS_ n83_a_lob_j01_3->n83_a_lob_j01_11 n83_a_lob_j01_13 IP-PPL-CAT n83_a_lob_j01_3->n83_a_lob_j01_13 n83_a_lob_j01_5 D n83_a_lob_j01_4->n83_a_lob_j01_5 n83_a_lob_j01_7 N n83_a_lob_j01_4->n83_a_lob_j01_7 n83_a_lob_j01_9 N n83_a_lob_j01_4->n83_a_lob_j01_9 n83_a_lob_j01_5->n83_a_lob_j01_6 n83_a_lob_j01_7->n83_a_lob_j01_8 n83_a_lob_j01_9->n83_a_lob_j01_10 n83_a_lob_j01_11->n83_a_lob_j01_12 n83_a_lob_j01_14 NP-LGS n83_a_lob_j01_13->n83_a_lob_j01_14 n83_a_lob_j01_16 VVN;__ n83_a_lob_j01_13->n83_a_lob_j01_16 n83_a_lob_j01_18 PP-NIM n83_a_lob_j01_13->n83_a_lob_j01_18 n83_a_lob_j01_14->n83_a_lob_j01_15 n83_a_lob_j01_16->n83_a_lob_j01_17 n83_a_lob_j01_19 P-ROLE n83_a_lob_j01_18->n83_a_lob_j01_19 n83_a_lob_j01_21 NP n83_a_lob_j01_18->n83_a_lob_j01_21 n83_a_lob_j01_19->n83_a_lob_j01_20 n83_a_lob_j01_22 ADJP n83_a_lob_j01_21->n83_a_lob_j01_22 n83_a_lob_j01_25 ADJP n83_a_lob_j01_21->n83_a_lob_j01_25 n83_a_lob_j01_28 N n83_a_lob_j01_21->n83_a_lob_j01_28 n83_a_lob_j01_23 ADJ n83_a_lob_j01_22->n83_a_lob_j01_23 n83_a_lob_j01_23->n83_a_lob_j01_24 n83_a_lob_j01_26 ADJ n83_a_lob_j01_25->n83_a_lob_j01_26 n83_a_lob_j01_26->n83_a_lob_j01_27 n83_a_lob_j01_28->n83_a_lob_j01_29 n83_a_lob_j01_31 CONJ n83_a_lob_j01_30->n83_a_lob_j01_31 n83_a_lob_j01_33 ILYR n83_a_lob_j01_30->n83_a_lob_j01_33 n83_a_lob_j01_31->n83_a_lob_j01_32 n83_a_lob_j01_34 NP-SBJ n83_a_lob_j01_33->n83_a_lob_j01_34 n83_a_lob_j01_50 IP-PPL-CAT n83_a_lob_j01_33->n83_a_lob_j01_50 n83_a_lob_j01_35 D n83_a_lob_j01_34->n83_a_lob_j01_35 n83_a_lob_j01_37 N n83_a_lob_j01_34->n83_a_lob_j01_37 n83_a_lob_j01_39 PP n83_a_lob_j01_34->n83_a_lob_j01_39 n83_a_lob_j01_35->n83_a_lob_j01_36 n83_a_lob_j01_37->n83_a_lob_j01_38 n83_a_lob_j01_40 P-ROLE n83_a_lob_j01_39->n83_a_lob_j01_40 n83_a_lob_j01_42 NP n83_a_lob_j01_39->n83_a_lob_j01_42 n83_a_lob_j01_40->n83_a_lob_j01_41 n83_a_lob_j01_43 D n83_a_lob_j01_42->n83_a_lob_j01_43 n83_a_lob_j01_45 ADJP n83_a_lob_j01_42->n83_a_lob_j01_45 n83_a_lob_j01_48 N n83_a_lob_j01_42->n83_a_lob_j01_48 n83_a_lob_j01_43->n83_a_lob_j01_44 n83_a_lob_j01_46 ADJ n83_a_lob_j01_45->n83_a_lob_j01_46 n83_a_lob_j01_46->n83_a_lob_j01_47 n83_a_lob_j01_48->n83_a_lob_j01_49 n83_a_lob_j01_51 NP-LGS n83_a_lob_j01_50->n83_a_lob_j01_51 n83_a_lob_j01_53 VVN;__ n83_a_lob_j01_50->n83_a_lob_j01_53 n83_a_lob_j01_51->n83_a_lob_j01_52 n83_a_lob_j01_53->n83_a_lob_j01_54 n83_a_lob_j01_55->n83_a_lob_j01_56
( (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))