Context                Previous, Next                Top


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.

%3 r_0099_0001__Dissolve Dissolve r_0099_0003__portion portion r_0099_0001__Dissolve->r_0099_0003__portion [arg1] r_0099_0015__and and r_0099_0001__Dissolve->r_0099_0015__and in [nim] z_000_99_a_lob_j01_1 r_0099_0001__Dissolve->z_000_99_a_lob_j01_1 [arg0] r_0099_0005__the_r_0099_0006__precipitate the precipitate r_0099_0003__portion->r_0099_0005__the_r_0099_0006__precipitate of r_0099_0008__25_r_0099_0009__ml 25 ml r_0099_0015__and->r_0099_0008__25_r_0099_0009__ml [conj1] r_0099_0016__15_r_0099_0017__ml 15 ml r_0099_0015__and->r_0099_0016__15_r_0099_0017__ml [conj2] r_0099_0002__each_quant each [quant] r_0099_0002__each_quant->r_0099_0001__Dissolve [scope] r_0099_0002__each_quant->r_0099_0003__portion [restriction] r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride 30  percnt  fluoride r_0099_0008__25_r_0099_0009__ml->r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride of r_0099_0013__ammonium ammonium r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride->r_0099_0013__ammonium [attrib] r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid 16 M acid r_0099_0016__15_r_0099_0017__ml->r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid of r_0099_0021__nitric nitric r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid->r_0099_0021__nitric [attrib] 
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).


%3 r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid 16 M acid r_0099_0021__nitric nitric r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid->r_0099_0021__nitric [attrib] r_0099_0016__15_r_0099_0017__ml 15 ml r_0099_0016__15_r_0099_0017__ml->r_0099_0019__16_r_0099_0020__M_r_0099_0022__acid of r_0099_0015__and and r_0099_0015__and->r_0099_0016__15_r_0099_0017__ml [conj2] r_0099_0008__25_r_0099_0009__ml 25 ml r_0099_0015__and->r_0099_0008__25_r_0099_0009__ml [conj1] r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride 30  percnt  fluoride r_0099_0008__25_r_0099_0009__ml->r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride of r_0099_0013__ammonium ammonium r_0099_0011__30_r_0099_0012___percnt__r_0099_0014__fluoride->r_0099_0013__ammonium [attrib] r_0099_0003__portion portion r_0099_0005__the_r_0099_0006__precipitate the precipitate r_0099_0003__portion->r_0099_0005__the_r_0099_0006__precipitate of r_0099_0002__each_quant each [quant] r_0099_0002__each_quant->r_0099_0003__portion [restriction] r_0099_0001__Dissolve Dissolve r_0099_0002__each_quant->r_0099_0001__Dissolve [scope] r_0099_0001__Dissolve->r_0099_0015__and in [nim] r_0099_0001__Dissolve->r_0099_0003__portion [arg1] z_000_99_a_lob_j01_1 r_0099_0001__Dissolve->z_000_99_a_lob_j01_1 [arg0] 
fof(formula,axiom,
    ! [R_99_3_PORTION,R_99_5_THE_PRECIPITATE] :
      ( ( the_precipitate(R_99_5_THE_PRECIPITATE)
        & portion(R_99_3_PORTION)
        & of(R_99_3_PORTION,R_99_5_THE_PRECIPITATE) )
     => ? [R_99_1_DISSOLVE,Z_99_A_LOB_J01_1,R_99_15_AND,R_99_8_25_ML,R_99_11_30_PERCNT_FLUORIDE,R_99_13_AMMONIUM,R_99_16_15_ML,R_99_19_16_M_ACID,R_99_21_NITRIC] :
          ( ammonium(R_99_13_AMMONIUM)
          & nitric(R_99_21_NITRIC)
          & dissolve(R_99_1_DISSOLVE,Z_99_A_LOB_J01_1,R_99_3_PORTION)
          & in_nim20(R_99_1_DISSOLVE,R_99_15_AND)
          & and(R_99_15_AND)
          & conj1(R_99_15_AND,R_99_8_25_ML)
          & 25_ml(R_99_8_25_ML)
          & of(R_99_8_25_ML,R_99_11_30_PERCNT_FLUORIDE)
          & 30_percnt_fluoride(R_99_11_30_PERCNT_FLUORIDE)
          & attrib35(R_99_11_30_PERCNT_FLUORIDE,R_99_13_AMMONIUM)
          & conj2(R_99_15_AND,R_99_16_15_ML)
          & 15_ml(R_99_16_15_ML)
          & of(R_99_16_15_ML,R_99_19_16_M_ACID)
          & 16_M_acid(R_99_19_16_M_ACID)
          & attrib56(R_99_19_16_M_ACID,R_99_21_NITRIC) ) ) ).


n99_a_lob_j01 n99_a_lob_j01__1_1_1 Dissolve n99_a_lob_j01__1_2_1_1 each n99_a_lob_j01__1_2_2_1 portion n99_a_lob_j01__1_2_3_1_1 of n99_a_lob_j01__1_2_3_2_1_1 the n99_a_lob_j01__1_2_3_2_2_1 precipitate n99_a_lob_j01__1_3_1_1 in n99_a_lob_j01__1_3_2_1_1_1_1 25 n99_a_lob_j01__1_3_2_1_1_2_1 ml n99_a_lob_j01__1_3_2_1_1_3_1_1 of n99_a_lob_j01__1_3_2_1_1_3_2_1_1 30 n99_a_lob_j01__1_3_2_1_1_3_2_2_1 <percnt> n99_a_lob_j01__1_3_2_1_1_3_2_3_1_1 ammonium n99_a_lob_j01__1_3_2_1_1_3_2_4_1 fluoride n99_a_lob_j01__1_3_2_1_2_1_1 and n99_a_lob_j01__1_3_2_1_2_2_1_1 15 n99_a_lob_j01__1_3_2_1_2_2_2_1 ml n99_a_lob_j01__1_3_2_1_2_2_3_1_1 of n99_a_lob_j01__1_3_2_1_2_2_3_2_1_1 16 n99_a_lob_j01__1_3_2_1_2_2_3_2_2_1 M n99_a_lob_j01__1_3_2_1_2_2_3_2_3_1_1 nitric n99_a_lob_j01__1_3_2_1_2_2_3_2_4_1 acid n99_a_lob_j01__1_4_1 . n99_a_lob_j01__1 IP-IMP n99_a_lob_j01__1_1 VB;__ n99_a_lob_j01__1->n99_a_lob_j01__1_1 n99_a_lob_j01__1_2 NP-OB1 n99_a_lob_j01__1->n99_a_lob_j01__1_2 n99_a_lob_j01__1_3 PP-NIM n99_a_lob_j01__1->n99_a_lob_j01__1_3 n99_a_lob_j01__1_4 PUNC n99_a_lob_j01__1->n99_a_lob_j01__1_4 n99_a_lob_j01__1_1->n99_a_lob_j01__1_1_1 n99_a_lob_j01__1_2_1 Q n99_a_lob_j01__1_2->n99_a_lob_j01__1_2_1 n99_a_lob_j01__1_2_2 N n99_a_lob_j01__1_2->n99_a_lob_j01__1_2_2 n99_a_lob_j01__1_2_3 PP n99_a_lob_j01__1_2->n99_a_lob_j01__1_2_3 n99_a_lob_j01__1_2_1->n99_a_lob_j01__1_2_1_1 n99_a_lob_j01__1_2_2->n99_a_lob_j01__1_2_2_1 n99_a_lob_j01__1_2_3_1 P-ROLE n99_a_lob_j01__1_2_3->n99_a_lob_j01__1_2_3_1 n99_a_lob_j01__1_2_3_2 NP n99_a_lob_j01__1_2_3->n99_a_lob_j01__1_2_3_2 n99_a_lob_j01__1_2_3_1->n99_a_lob_j01__1_2_3_1_1 n99_a_lob_j01__1_2_3_2_1 D n99_a_lob_j01__1_2_3_2->n99_a_lob_j01__1_2_3_2_1 n99_a_lob_j01__1_2_3_2_2 N n99_a_lob_j01__1_2_3_2->n99_a_lob_j01__1_2_3_2_2 n99_a_lob_j01__1_2_3_2_1->n99_a_lob_j01__1_2_3_2_1_1 n99_a_lob_j01__1_2_3_2_2->n99_a_lob_j01__1_2_3_2_2_1 n99_a_lob_j01__1_3_1 P-ROLE n99_a_lob_j01__1_3->n99_a_lob_j01__1_3_1 n99_a_lob_j01__1_3_2 NP n99_a_lob_j01__1_3->n99_a_lob_j01__1_3_2 n99_a_lob_j01__1_3_1->n99_a_lob_j01__1_3_1_1 n99_a_lob_j01__1_3_2_1 NLYR n99_a_lob_j01__1_3_2->n99_a_lob_j01__1_3_2_1 n99_a_lob_j01__1_3_2_1_1 NLYR n99_a_lob_j01__1_3_2_1->n99_a_lob_j01__1_3_2_1_1 n99_a_lob_j01__1_3_2_1_2 CONJP n99_a_lob_j01__1_3_2_1->n99_a_lob_j01__1_3_2_1_2 n99_a_lob_j01__1_3_2_1_1_1 NUM n99_a_lob_j01__1_3_2_1_1->n99_a_lob_j01__1_3_2_1_1_1 n99_a_lob_j01__1_3_2_1_1_2 N n99_a_lob_j01__1_3_2_1_1->n99_a_lob_j01__1_3_2_1_1_2 n99_a_lob_j01__1_3_2_1_1_3 PP n99_a_lob_j01__1_3_2_1_1->n99_a_lob_j01__1_3_2_1_1_3 n99_a_lob_j01__1_3_2_1_1_1->n99_a_lob_j01__1_3_2_1_1_1_1 n99_a_lob_j01__1_3_2_1_1_2->n99_a_lob_j01__1_3_2_1_1_2_1 n99_a_lob_j01__1_3_2_1_1_3_1 P-ROLE n99_a_lob_j01__1_3_2_1_1_3->n99_a_lob_j01__1_3_2_1_1_3_1 n99_a_lob_j01__1_3_2_1_1_3_2 NP n99_a_lob_j01__1_3_2_1_1_3->n99_a_lob_j01__1_3_2_1_1_3_2 n99_a_lob_j01__1_3_2_1_1_3_1->n99_a_lob_j01__1_3_2_1_1_3_1_1 n99_a_lob_j01__1_3_2_1_1_3_2_1 NUM n99_a_lob_j01__1_3_2_1_1_3_2->n99_a_lob_j01__1_3_2_1_1_3_2_1 n99_a_lob_j01__1_3_2_1_1_3_2_2 N n99_a_lob_j01__1_3_2_1_1_3_2->n99_a_lob_j01__1_3_2_1_1_3_2_2 n99_a_lob_j01__1_3_2_1_1_3_2_3 ADJP n99_a_lob_j01__1_3_2_1_1_3_2->n99_a_lob_j01__1_3_2_1_1_3_2_3 n99_a_lob_j01__1_3_2_1_1_3_2_4 N n99_a_lob_j01__1_3_2_1_1_3_2->n99_a_lob_j01__1_3_2_1_1_3_2_4 n99_a_lob_j01__1_3_2_1_1_3_2_1->n99_a_lob_j01__1_3_2_1_1_3_2_1_1 n99_a_lob_j01__1_3_2_1_1_3_2_2->n99_a_lob_j01__1_3_2_1_1_3_2_2_1 n99_a_lob_j01__1_3_2_1_1_3_2_3_1 ADJ n99_a_lob_j01__1_3_2_1_1_3_2_3->n99_a_lob_j01__1_3_2_1_1_3_2_3_1 n99_a_lob_j01__1_3_2_1_1_3_2_3_1->n99_a_lob_j01__1_3_2_1_1_3_2_3_1_1 n99_a_lob_j01__1_3_2_1_1_3_2_4->n99_a_lob_j01__1_3_2_1_1_3_2_4_1 n99_a_lob_j01__1_3_2_1_2_1 CONJ n99_a_lob_j01__1_3_2_1_2->n99_a_lob_j01__1_3_2_1_2_1 n99_a_lob_j01__1_3_2_1_2_2 NLYR n99_a_lob_j01__1_3_2_1_2->n99_a_lob_j01__1_3_2_1_2_2 n99_a_lob_j01__1_3_2_1_2_1->n99_a_lob_j01__1_3_2_1_2_1_1 n99_a_lob_j01__1_3_2_1_2_2_1 NUM n99_a_lob_j01__1_3_2_1_2_2->n99_a_lob_j01__1_3_2_1_2_2_1 n99_a_lob_j01__1_3_2_1_2_2_2 N n99_a_lob_j01__1_3_2_1_2_2->n99_a_lob_j01__1_3_2_1_2_2_2 n99_a_lob_j01__1_3_2_1_2_2_3 PP n99_a_lob_j01__1_3_2_1_2_2->n99_a_lob_j01__1_3_2_1_2_2_3 n99_a_lob_j01__1_3_2_1_2_2_1->n99_a_lob_j01__1_3_2_1_2_2_1_1 n99_a_lob_j01__1_3_2_1_2_2_2->n99_a_lob_j01__1_3_2_1_2_2_2_1 n99_a_lob_j01__1_3_2_1_2_2_3_1 P-ROLE n99_a_lob_j01__1_3_2_1_2_2_3->n99_a_lob_j01__1_3_2_1_2_2_3_1 n99_a_lob_j01__1_3_2_1_2_2_3_2 NP n99_a_lob_j01__1_3_2_1_2_2_3->n99_a_lob_j01__1_3_2_1_2_2_3_2 n99_a_lob_j01__1_3_2_1_2_2_3_1->n99_a_lob_j01__1_3_2_1_2_2_3_1_1 n99_a_lob_j01__1_3_2_1_2_2_3_2_1 NUM n99_a_lob_j01__1_3_2_1_2_2_3_2->n99_a_lob_j01__1_3_2_1_2_2_3_2_1 n99_a_lob_j01__1_3_2_1_2_2_3_2_2 SYM n99_a_lob_j01__1_3_2_1_2_2_3_2->n99_a_lob_j01__1_3_2_1_2_2_3_2_2 n99_a_lob_j01__1_3_2_1_2_2_3_2_3 ADJP n99_a_lob_j01__1_3_2_1_2_2_3_2->n99_a_lob_j01__1_3_2_1_2_2_3_2_3 n99_a_lob_j01__1_3_2_1_2_2_3_2_4 N n99_a_lob_j01__1_3_2_1_2_2_3_2->n99_a_lob_j01__1_3_2_1_2_2_3_2_4 n99_a_lob_j01__1_3_2_1_2_2_3_2_1->n99_a_lob_j01__1_3_2_1_2_2_3_2_1_1 n99_a_lob_j01__1_3_2_1_2_2_3_2_2->n99_a_lob_j01__1_3_2_1_2_2_3_2_2_1 n99_a_lob_j01__1_3_2_1_2_2_3_2_3_1 ADJ n99_a_lob_j01__1_3_2_1_2_2_3_2_3->n99_a_lob_j01__1_3_2_1_2_2_3_2_3_1 n99_a_lob_j01__1_3_2_1_2_2_3_2_3_1->n99_a_lob_j01__1_3_2_1_2_2_3_2_3_1_1 n99_a_lob_j01__1_3_2_1_2_2_3_2_4->n99_a_lob_j01__1_3_2_1_2_2_3_2_4_1 n99_a_lob_j01__1_4->n99_a_lob_j01__1_4_1 
( (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))