arc(r_0082_0004__is, r_0082_0005__dissolved, scope).
arc(r_0082_0005__dissolved, r_0082_0001__The_r_0082_0002__niobium_r_0082_0003__precipitate, arg1).
arc(r_0082_0005__dissolved, r_0082_0007__a_r_0082_0008__mixture, r_0082_0006__in_nim19).
arc(r_0082_0005__dissolved, z_000_82_a_lob_j01_12, arg0).
arc(r_0082_0007__a_r_0082_0008__mixture, r_0082_0015__and, r_0082_0009__of).
arc(r_0082_0011__and, r_0082_0010__oxalic, conj1).
arc(r_0082_0011__and, r_0082_0012__nitric, conj2).
arc(r_0082_0013__acids, r_0082_0011__and, attrib30).
arc(r_0082_0015__and, r_0082_0013__acids, conj1).
arc(r_0082_0015__and, r_0082_0017__acid, conj2).
arc(r_0082_0017__acid, r_0082_0016__niobic, attrib49).
arc(r_0082_0018__precipitated, r_0082_0007__a_r_0082_0008__mixture, arg1).
arc(r_0082_0018__precipitated, z_000_82_a_lob_j01_55, arg0).
arc(r_0082_0019__by, r_0082_0018__precipitated, scope).
arc(r_0082_0019__by, r_0082_0021__and, restriction).
arc(r_0082_0020__boiling, z_000_82_a_lob_j01_55, arg0).
arc(r_0082_0021__and, r_0082_0020__boiling, conj1).
arc(r_0082_0021__and, r_0082_0022__adding, conj2).
arc(r_0082_0022__adding, r_0082_0024__bromate, arg1).
arc(r_0082_0022__adding, z_000_82_a_lob_j01_55, arg0).
arc(r_0082_0024__bromate, r_0082_0023__potassium, attrib74).

fof(formula,axiom,
    ? [R_0082_0001__THE_R_0082_0002__NIOBIUM_R_0082_0003__PRECIPITATE,R_0082_0010__OXALIC,R_0082_0012__NITRIC,R_0082_0011__AND,R_0082_0013__ACIDS,R_0082_0016__NIOBIC,R_0082_0017__ACID,R_0082_0015__AND,R_0082_0007__A_R_0082_0008__MIXTURE,Z_000_82_A_LOB_J01_12,R_0082_0004__IS_R_0082_0005__DISSOLVED,Z_000_82_A_LOB_J01_55,R_0082_0018__PRECIPITATED,R_0082_0020__BOILING,R_0082_0023__POTASSIUM,R_0082_0024__BROMATE,R_0082_0022__ADDING,R_0082_0021__AND,R_0082_0019__BY] :
      ( r_0082_0001__The_r_0082_0002__niobium_r_0082_0003__precipitate(R_0082_0001__THE_R_0082_0002__NIOBIUM_R_0082_0003__PRECIPITATE)
      & r_0082_0010__oxalic(R_0082_0010__OXALIC)
      & r_0082_0012__nitric(R_0082_0012__NITRIC)
      & r_0082_0016__niobic(R_0082_0016__NIOBIC)
      & r_0082_0023__potassium(R_0082_0023__POTASSIUM)
      & z_000_82_a_lob_j01_12(Z_000_82_A_LOB_J01_12)
      & z_000_82_a_lob_j01_55(Z_000_82_A_LOB_J01_55)
      & r_0082_0019__by(R_0082_0019__BY)
      & has_conj1(R_0082_0019__BY,R_0082_0021__AND)
      & r_0082_0021__and(R_0082_0021__AND)
      & has_conj2(R_0082_0021__AND,R_0082_0022__ADDING)
      & r_0082_0022__adding(R_0082_0022__ADDING)
      & has_arg0(R_0082_0022__ADDING,Z_000_82_A_LOB_J01_55)
      & has_arg1(R_0082_0022__ADDING,R_0082_0024__BROMATE)
      & r_0082_0024__bromate(R_0082_0024__BROMATE)
      & has_attrib74(R_0082_0024__BROMATE,R_0082_0023__POTASSIUM)
      & has_conj1(R_0082_0021__AND,R_0082_0020__BOILING)
      & r_0082_0020__boiling(R_0082_0020__BOILING)
      & has_arg0(R_0082_0020__BOILING,Z_000_82_A_LOB_J01_55)
      & has_conj2(R_0082_0019__BY,R_0082_0018__PRECIPITATED)
      & r_0082_0018__precipitated(R_0082_0018__PRECIPITATED)
      & has_arg0(R_0082_0018__PRECIPITATED,Z_000_82_A_LOB_J01_55)
      & has_arg1(R_0082_0018__PRECIPITATED,R_0082_0007__A_R_0082_0008__MIXTURE)
      & r_0082_0007__a_r_0082_0008__mixture(R_0082_0007__A_R_0082_0008__MIXTURE)
      & has_r_0082_0009__of(R_0082_0007__A_R_0082_0008__MIXTURE,R_0082_0015__AND)
      & r_0082_0015__and(R_0082_0015__AND)
      & has_conj2(R_0082_0015__AND,R_0082_0017__ACID)
      & r_0082_0017__acid(R_0082_0017__ACID)
      & has_attrib49(R_0082_0017__ACID,R_0082_0016__NIOBIC)
      & has_conj1(R_0082_0015__AND,R_0082_0013__ACIDS)
      & r_0082_0013__acids(R_0082_0013__ACIDS)
      & has_attrib30(R_0082_0013__ACIDS,R_0082_0011__AND)
      & r_0082_0011__and(R_0082_0011__AND)
      & has_conj2(R_0082_0011__AND,R_0082_0012__NITRIC)
      & has_conj1(R_0082_0011__AND,R_0082_0010__OXALIC)
      & r_0082_0004__is_r_0082_0005__dissolved(R_0082_0004__IS_R_0082_0005__DISSOLVED)
      & has_arg0(R_0082_0004__IS_R_0082_0005__DISSOLVED,Z_000_82_A_LOB_J01_12)
      & has_r_0082_0006__in_nim19(R_0082_0004__IS_R_0082_0005__DISSOLVED,R_0082_0007__A_R_0082_0008__MIXTURE)
      & has_arg1(R_0082_0004__IS_R_0082_0005__DISSOLVED,R_0082_0001__THE_R_0082_0002__NIOBIUM_R_0082_0003__PRECIPITATE) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N niobium;{niobium})
                  (N precipitate;{precipitate}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ dissolved;{dissolve})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (N mixture;{mixture})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (ADJP (AJLYR (AJLYR (ADJ oxalic;{oxalic}))
                                                                   (CONJP (CONJ and;{and})
                                                                          (AJLYR (ADJ nitric;{nitric})))))
                                                      (NS acids;{acid}))
                                                (PUNC ,)
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (ADJP (ADJ niobic;{niobic}))
                                                             (N acid;{acid}))))))
                                  (IP-PPL (NP-LGS *)
                                          (VVN;__ precipitated;{precipitate})
                                          (PP-SCON (P-CONN by;{by})
                                                   (IP-PPL (ILYR (ILYR (VAG;_I_ boiling;{boil}))
                                                                 (CONJP (CONJ and;{and})
                                                                        (ILYR (VAG;_Tn_ adding;{add})
                                                                              (NP-OB1 (ADJP (ADJ potassium;{potassium}))
                                                                                      (N bromate;{bromate})))))))))))
          (PUNC .))
  (ID 82_a_lob_j01))