99_a_lob_j01
Dissolve each portion of the precipitate in 25 ml of 30 <percnt> ammonium fluoride and 15 ml of 16 M nitric acid.
arc(r_0099_0001__Dissolve, r_0099_0003__portion, arg1).
arc(r_0099_0001__Dissolve, r_0099_0015__and, r_0099_0007__in_nim20).
arc(r_0099_0001__Dissolve, z_000_99_a_lob_j01_1, arg0).
arc(r_0099_0002__each_quant, r_0099_0001__Dissolve, scope).
arc(r_0099_0002__each_quant, r_0099_0003__portion, restriction).
arc(r_0099_0003__portion, r_0099_0005__the_r_0099_0006__precipitate, r_0099_0004__of).
arc(r_0099_0008__25_r_0099_0009__ml, r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride, r_0099_0010__of).
arc(r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride, r_0099_0013__ammonium, attrib35).
arc(r_0099_0015__and, r_0099_0008__25_r_0099_0009__ml, conj1).
arc(r_0099_0015__and, r_0099_0016__15_r_0099_0017__ml, conj2).
arc(r_0099_0016__15_r_0099_0017__ml, r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid, r_0099_0018__of).
arc(r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid, r_0099_0021__nitric, attrib56).
fof(formula,axiom,
! [R_0099_0003__PORTION,R_0099_0005__THE_R_0099_0006__PRECIPITATE] :
( ( r_0099_0005__the_r_0099_0006__precipitate(R_0099_0005__THE_R_0099_0006__PRECIPITATE)
& r_0099_0003__portion(R_0099_0003__PORTION)
& has_r_0099_0004__of(R_0099_0003__PORTION,R_0099_0005__THE_R_0099_0006__PRECIPITATE) )
=> ? [R_0099_0013__AMMONIUM,R_0099_0011__30_R_0099_0012___PERCNT__R_0099_0014__FLUORIDE,R_0099_0008__25_R_0099_0009__ML,R_0099_0021__NITRIC,R_0099_0019__16_R_0099_0020__M_R_0099_0022__ACID,R_0099_0016__15_R_0099_0017__ML,R_0099_0015__AND,Z_000_99_A_LOB_J01_1,R_0099_0001__DISSOLVE] :
( r_0099_0013__ammonium(R_0099_0013__AMMONIUM)
& r_0099_0021__nitric(R_0099_0021__NITRIC)
& z_000_99_a_lob_j01_1(Z_000_99_A_LOB_J01_1)
& r_0099_0001__Dissolve(R_0099_0001__DISSOLVE)
& has_arg0(R_0099_0001__DISSOLVE,Z_000_99_A_LOB_J01_1)
& has_r_0099_0007__in_nim20(R_0099_0001__DISSOLVE,R_0099_0015__AND)
& r_0099_0015__and(R_0099_0015__AND)
& has_conj2(R_0099_0015__AND,R_0099_0016__15_R_0099_0017__ML)
& r_0099_0016__15_r_0099_0017__ml(R_0099_0016__15_R_0099_0017__ML)
& has_r_0099_0018__of(R_0099_0016__15_R_0099_0017__ML,R_0099_0019__16_R_0099_0020__M_R_0099_0022__ACID)
& r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid(R_0099_0019__16_R_0099_0020__M_R_0099_0022__ACID)
& has_attrib56(R_0099_0019__16_R_0099_0020__M_R_0099_0022__ACID,R_0099_0021__NITRIC)
& has_conj1(R_0099_0015__AND,R_0099_0008__25_R_0099_0009__ML)
& r_0099_0008__25_r_0099_0009__ml(R_0099_0008__25_R_0099_0009__ML)
& has_r_0099_0010__of(R_0099_0008__25_R_0099_0009__ML,R_0099_0011__30_R_0099_0012___PERCNT__R_0099_0014__FLUORIDE)
& r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride(R_0099_0011__30_R_0099_0012___PERCNT__R_0099_0014__FLUORIDE)
& has_attrib35(R_0099_0011__30_R_0099_0012___PERCNT__R_0099_0014__FLUORIDE,R_0099_0013__AMMONIUM)
& has_arg1(R_0099_0001__DISSOLVE,R_0099_0003__PORTION) ) ) ).
( (IP-IMP (VB;__ Dissolve;{dissolve})
(NP-OB1 (Q each;{each})
(N portion;{portion})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N precipitate;{precipitate}))))
(PP-NIM (P-ROLE in;{in})
(NP (NLYR (NLYR (NUM 25)
(N ml;{ml})
(PP (P-ROLE of;{of})
(NP (NUM 30)
(N <percnt>)
(ADJP (ADJ ammonium;{ammonium}))
(N fluoride;{fluoride}))))
(CONJP (CONJ and;{and})
(NLYR (NUM 15)
(N ml;{ml})
(PP (P-ROLE of;{of})
(NP (NUM 16)
(SYM M)
(ADJP (ADJ nitric;{nitric}))
(N acid;{acid}))))))))
(PUNC .))
(ID 99_a_lob_j01))