Context                Previous, Next                Top


96_a_lob_j01
Wash each portion of the precipitate three times by stirring with 100 ml of 2 <percnt> ammonium nitrate.

%3 r_0096_0001__Wash Wash r_0096_0003__portion portion r_0096_0001__Wash->r_0096_0003__portion [arg1] r_0096_0007__three_r_0096_0008__times three times r_0096_0001__Wash->r_0096_0007__three_r_0096_0008__times [nim] z_000_96_a_lob_j01_1 r_0096_0001__Wash->z_000_96_a_lob_j01_1 [arg0] r_0096_0005__the_r_0096_0006__precipitate the precipitate r_0096_0003__portion->r_0096_0005__the_r_0096_0006__precipitate of r_0096_0002__each_quant each [quant] r_0096_0002__each_quant->r_0096_0001__Wash [scope] r_0096_0002__each_quant->r_0096_0003__portion [restriction] r_0096_0009__by by r_0096_0009__by->r_0096_0002__each_quant [scope] r_0096_0010__stirring stirring r_0096_0009__by->r_0096_0010__stirring [restriction] r_0096_0010__stirring->z_000_96_a_lob_j01_1 [arg0] r_0096_0012__100_r_0096_0013__ml 100 ml r_0096_0010__stirring->r_0096_0012__100_r_0096_0013__ml with [clr] r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate 2  percnt  nitrate r_0096_0012__100_r_0096_0013__ml->r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate of r_0096_0017__ammonium ammonium r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate->r_0096_0017__ammonium [attrib] 
arc(r_0096_0001__Wash, r_0096_0003__portion, arg1).
arc(r_0096_0001__Wash, r_0096_0007__three_r_0096_0008__times, nim17).
arc(r_0096_0001__Wash, z_000_96_a_lob_j01_1, arg0).
arc(r_0096_0002__each_quant, r_0096_0001__Wash, scope).
arc(r_0096_0002__each_quant, r_0096_0003__portion, restriction).
arc(r_0096_0003__portion, r_0096_0005__the_r_0096_0006__precipitate, r_0096_0004__of).
arc(r_0096_0009__by, r_0096_0002__each_quant, scope).
arc(r_0096_0009__by, r_0096_0010__stirring, restriction).
arc(r_0096_0010__stirring, r_0096_0012__100_r_0096_0013__ml, r_0096_0011__with_clr31).
arc(r_0096_0010__stirring, z_000_96_a_lob_j01_1, arg0).
arc(r_0096_0012__100_r_0096_0013__ml, r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate, r_0096_0014__of).
arc(r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate, r_0096_0017__ammonium, attrib44).


%3 r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate 2  percnt  nitrate r_0096_0017__ammonium ammonium r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate->r_0096_0017__ammonium [attrib] r_0096_0012__100_r_0096_0013__ml 100 ml r_0096_0012__100_r_0096_0013__ml->r_0096_0015__2_r_0096_0016___percnt__r_0096_0018__nitrate of r_0096_0010__stirring stirring r_0096_0010__stirring->r_0096_0012__100_r_0096_0013__ml with [clr] z_000_96_a_lob_j01_1 r_0096_0010__stirring->z_000_96_a_lob_j01_1 [arg0] r_0096_0009__by by r_0096_0009__by->r_0096_0010__stirring [conj1] r_0096_0002__each_quant each [quant] r_0096_0009__by->r_0096_0002__each_quant [conj2] r_0096_0003__portion portion r_0096_0002__each_quant->r_0096_0003__portion [restriction] r_0096_0001__Wash Wash r_0096_0002__each_quant->r_0096_0001__Wash [scope] r_0096_0005__the_r_0096_0006__precipitate the precipitate r_0096_0003__portion->r_0096_0005__the_r_0096_0006__precipitate of r_0096_0001__Wash->z_000_96_a_lob_j01_1 [arg0] r_0096_0001__Wash->r_0096_0003__portion [arg1] r_0096_0007__three_r_0096_0008__times three times r_0096_0001__Wash->r_0096_0007__three_r_0096_0008__times [nim] 
fof(formula,axiom,
    ? [R_96_9_BY,R_96_10_STIRRING,Z_96_A_LOB_J01_1,R_96_12_100_ML,R_96_15_2_PERCNT_NITRATE,R_96_17_AMMONIUM] :
      ( ammonium(R_96_17_AMMONIUM)
      & ! [R_96_3_PORTION,R_96_5_THE_PRECIPITATE] :
          ( ( the_precipitate(R_96_5_THE_PRECIPITATE)
            & portion(R_96_3_PORTION)
            & of(R_96_3_PORTION,R_96_5_THE_PRECIPITATE) )
         => ? [R_96_1_WASH,R_96_7_THREE_TIMES] :
              ( three_times(R_96_7_THREE_TIMES)
              & wash(R_96_1_WASH,Z_96_A_LOB_J01_1,R_96_3_PORTION)
              & nim17(R_96_1_WASH,R_96_7_THREE_TIMES) ) )
      & conj2(CONJ2)
      & by(R_96_9_BY)
      & conj1(R_96_9_BY,R_96_10_STIRRING)
      & stirring(R_96_10_STIRRING,Z_96_A_LOB_J01_1)
      & with_clr31(R_96_10_STIRRING,R_96_12_100_ML)
      & 100_ml(R_96_12_100_ML)
      & of(R_96_12_100_ML,R_96_15_2_PERCNT_NITRATE)
      & 2_percnt_nitrate(R_96_15_2_PERCNT_NITRATE)
      & attrib44(R_96_15_2_PERCNT_NITRATE,R_96_17_AMMONIUM) ) ).


n96_a_lob_j01 n96_a_lob_j01__1_1_1 Wash n96_a_lob_j01__1_2_1_1 each n96_a_lob_j01__1_2_2_1 portion n96_a_lob_j01__1_2_3_1_1 of n96_a_lob_j01__1_2_3_2_1_1 the n96_a_lob_j01__1_2_3_2_2_1 precipitate n96_a_lob_j01__1_3_1_1 three n96_a_lob_j01__1_3_2_1 times n96_a_lob_j01__1_4_1_1 by n96_a_lob_j01__1_4_2_1_1 stirring n96_a_lob_j01__1_4_2_2_1_1 with n96_a_lob_j01__1_4_2_2_2_1_1 100 n96_a_lob_j01__1_4_2_2_2_2_1 ml n96_a_lob_j01__1_4_2_2_2_3_1_1 of n96_a_lob_j01__1_4_2_2_2_3_2_1_1 2 n96_a_lob_j01__1_4_2_2_2_3_2_2_1 <percnt> n96_a_lob_j01__1_4_2_2_2_3_2_3_1_1 ammonium n96_a_lob_j01__1_4_2_2_2_3_2_4_1 nitrate n96_a_lob_j01__1_5_1 . n96_a_lob_j01__1 IP-IMP n96_a_lob_j01__1_1 VB;__ n96_a_lob_j01__1->n96_a_lob_j01__1_1 n96_a_lob_j01__1_2 NP-OB1 n96_a_lob_j01__1->n96_a_lob_j01__1_2 n96_a_lob_j01__1_3 NP-NIM n96_a_lob_j01__1->n96_a_lob_j01__1_3 n96_a_lob_j01__1_4 PP-SCON n96_a_lob_j01__1->n96_a_lob_j01__1_4 n96_a_lob_j01__1_5 PUNC n96_a_lob_j01__1->n96_a_lob_j01__1_5 n96_a_lob_j01__1_1->n96_a_lob_j01__1_1_1 n96_a_lob_j01__1_2_1 Q n96_a_lob_j01__1_2->n96_a_lob_j01__1_2_1 n96_a_lob_j01__1_2_2 N n96_a_lob_j01__1_2->n96_a_lob_j01__1_2_2 n96_a_lob_j01__1_2_3 PP n96_a_lob_j01__1_2->n96_a_lob_j01__1_2_3 n96_a_lob_j01__1_2_1->n96_a_lob_j01__1_2_1_1 n96_a_lob_j01__1_2_2->n96_a_lob_j01__1_2_2_1 n96_a_lob_j01__1_2_3_1 P-ROLE n96_a_lob_j01__1_2_3->n96_a_lob_j01__1_2_3_1 n96_a_lob_j01__1_2_3_2 NP n96_a_lob_j01__1_2_3->n96_a_lob_j01__1_2_3_2 n96_a_lob_j01__1_2_3_1->n96_a_lob_j01__1_2_3_1_1 n96_a_lob_j01__1_2_3_2_1 D n96_a_lob_j01__1_2_3_2->n96_a_lob_j01__1_2_3_2_1 n96_a_lob_j01__1_2_3_2_2 N n96_a_lob_j01__1_2_3_2->n96_a_lob_j01__1_2_3_2_2 n96_a_lob_j01__1_2_3_2_1->n96_a_lob_j01__1_2_3_2_1_1 n96_a_lob_j01__1_2_3_2_2->n96_a_lob_j01__1_2_3_2_2_1 n96_a_lob_j01__1_3_1 NUM n96_a_lob_j01__1_3->n96_a_lob_j01__1_3_1 n96_a_lob_j01__1_3_2 NS n96_a_lob_j01__1_3->n96_a_lob_j01__1_3_2 n96_a_lob_j01__1_3_1->n96_a_lob_j01__1_3_1_1 n96_a_lob_j01__1_3_2->n96_a_lob_j01__1_3_2_1 n96_a_lob_j01__1_4_1 P-CONN n96_a_lob_j01__1_4->n96_a_lob_j01__1_4_1 n96_a_lob_j01__1_4_2 IP-PPL2 n96_a_lob_j01__1_4->n96_a_lob_j01__1_4_2 n96_a_lob_j01__1_4_1->n96_a_lob_j01__1_4_1_1 n96_a_lob_j01__1_4_2_1 VAG;__ n96_a_lob_j01__1_4_2->n96_a_lob_j01__1_4_2_1 n96_a_lob_j01__1_4_2_2 PP-CLR n96_a_lob_j01__1_4_2->n96_a_lob_j01__1_4_2_2 n96_a_lob_j01__1_4_2_1->n96_a_lob_j01__1_4_2_1_1 n96_a_lob_j01__1_4_2_2_1 P-ROLE n96_a_lob_j01__1_4_2_2->n96_a_lob_j01__1_4_2_2_1 n96_a_lob_j01__1_4_2_2_2 NP n96_a_lob_j01__1_4_2_2->n96_a_lob_j01__1_4_2_2_2 n96_a_lob_j01__1_4_2_2_1->n96_a_lob_j01__1_4_2_2_1_1 n96_a_lob_j01__1_4_2_2_2_1 NUM n96_a_lob_j01__1_4_2_2_2->n96_a_lob_j01__1_4_2_2_2_1 n96_a_lob_j01__1_4_2_2_2_2 N n96_a_lob_j01__1_4_2_2_2->n96_a_lob_j01__1_4_2_2_2_2 n96_a_lob_j01__1_4_2_2_2_3 PP n96_a_lob_j01__1_4_2_2_2->n96_a_lob_j01__1_4_2_2_2_3 n96_a_lob_j01__1_4_2_2_2_1->n96_a_lob_j01__1_4_2_2_2_1_1 n96_a_lob_j01__1_4_2_2_2_2->n96_a_lob_j01__1_4_2_2_2_2_1 n96_a_lob_j01__1_4_2_2_2_3_1 P-ROLE n96_a_lob_j01__1_4_2_2_2_3->n96_a_lob_j01__1_4_2_2_2_3_1 n96_a_lob_j01__1_4_2_2_2_3_2 NP n96_a_lob_j01__1_4_2_2_2_3->n96_a_lob_j01__1_4_2_2_2_3_2 n96_a_lob_j01__1_4_2_2_2_3_1->n96_a_lob_j01__1_4_2_2_2_3_1_1 n96_a_lob_j01__1_4_2_2_2_3_2_1 NUM n96_a_lob_j01__1_4_2_2_2_3_2->n96_a_lob_j01__1_4_2_2_2_3_2_1 n96_a_lob_j01__1_4_2_2_2_3_2_2 N n96_a_lob_j01__1_4_2_2_2_3_2->n96_a_lob_j01__1_4_2_2_2_3_2_2 n96_a_lob_j01__1_4_2_2_2_3_2_3 ADJP n96_a_lob_j01__1_4_2_2_2_3_2->n96_a_lob_j01__1_4_2_2_2_3_2_3 n96_a_lob_j01__1_4_2_2_2_3_2_4 N n96_a_lob_j01__1_4_2_2_2_3_2->n96_a_lob_j01__1_4_2_2_2_3_2_4 n96_a_lob_j01__1_4_2_2_2_3_2_1->n96_a_lob_j01__1_4_2_2_2_3_2_1_1 n96_a_lob_j01__1_4_2_2_2_3_2_2->n96_a_lob_j01__1_4_2_2_2_3_2_2_1 n96_a_lob_j01__1_4_2_2_2_3_2_3_1 ADJ n96_a_lob_j01__1_4_2_2_2_3_2_3->n96_a_lob_j01__1_4_2_2_2_3_2_3_1 n96_a_lob_j01__1_4_2_2_2_3_2_3_1->n96_a_lob_j01__1_4_2_2_2_3_2_3_1_1 n96_a_lob_j01__1_4_2_2_2_3_2_4->n96_a_lob_j01__1_4_2_2_2_3_2_4_1 n96_a_lob_j01__1_5->n96_a_lob_j01__1_5_1 
( (IP-IMP (VB;__ Wash;{wash})
          (NP-OB1 (Q each;{each})
                  (N portion;{portion})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N precipitate;{precipitate}))))
          (NP-NIM (NUM three;{three})
                  (NS times;{time}))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL2 (VAG;__ stirring;{stir})
                            (PP-CLR (P-ROLE with;{with})
                                    (NP (NUM 100)
                                        (N ml;{ml})
                                        (PP (P-ROLE of;{of})
                                            (NP (NUM 2)
                                                (N <percnt>)
                                                (ADJP (ADJ ammonium;{ammonium}))
                                                (N nitrate;{nitrate})))))))
          (PUNC .))
  (ID 96_a_lob_j01))