Context                Previous, Next                Top


102_a_lob_j01
Pipette 10 ml of the solution into a 400 ml polythene beaker and add 100 ml of a saturated solution of ammonium chloride.

%3 r_0102_0001__Pipette Pipette r_0102_0002__10_r_0102_0003__ml 10 ml r_0102_0001__Pipette->r_0102_0002__10_r_0102_0003__ml [arg1] r_0102_0008__a_r_0102_0009__400_r_0102_0010__ml_r_0102_0011__polythene_r_0102_0012__beaker a 400 ml polythene beaker r_0102_0001__Pipette->r_0102_0008__a_r_0102_0009__400_r_0102_0010__ml_r_0102_0011__polythene_r_0102_0012__beaker into [nim] z_000_102_a_lob_j01_1 r_0102_0001__Pipette->z_000_102_a_lob_j01_1 [arg0] r_0102_0005__the_r_0102_0006__solution the solution r_0102_0002__10_r_0102_0003__ml->r_0102_0005__the_r_0102_0006__solution of r_0102_0013__and and r_0102_0013__and->r_0102_0001__Pipette [conj1] r_0102_0014__add add r_0102_0013__and->r_0102_0014__add [conj2] r_0102_0014__add->z_000_102_a_lob_j01_1 [arg0] r_0102_0015__100_r_0102_0016__ml 100 ml r_0102_0014__add->r_0102_0015__100_r_0102_0016__ml [arg1] r_0102_0018__a_r_0102_0020__solution a solution r_0102_0015__100_r_0102_0016__ml->r_0102_0018__a_r_0102_0020__solution of r_0102_0023__chloride chloride r_0102_0018__a_r_0102_0020__solution->r_0102_0023__chloride of r_0102_0022__ammonium ammonium r_0102_0023__chloride->r_0102_0022__ammonium [attrib] r_0102_0019__saturated saturated r_0102_0019__saturated->r_0102_0018__a_r_0102_0020__solution [arg0] 
arc(r_0102_0001__Pipette, r_0102_0002__10_r_0102_0003__ml, arg1).
arc(r_0102_0001__Pipette, r_0102_0008__a_r_0102_0009__400_r_0102_0010__ml_r_0102_0011__polythene_r_0102_0012__beaker, r_0102_0007__into_nim22).
arc(r_0102_0001__Pipette, z_000_102_a_lob_j01_1, arg0).
arc(r_0102_0002__10_r_0102_0003__ml, r_0102_0005__the_r_0102_0006__solution, r_0102_0004__of).
arc(r_0102_0013__and, r_0102_0001__Pipette, conj1).
arc(r_0102_0013__and, r_0102_0014__add, conj2).
arc(r_0102_0014__add, r_0102_0015__100_r_0102_0016__ml, arg1).
arc(r_0102_0014__add, z_000_102_a_lob_j01_1, arg0).
arc(r_0102_0015__100_r_0102_0016__ml, r_0102_0018__a_r_0102_0020__solution, r_0102_0017__of).
arc(r_0102_0018__a_r_0102_0020__solution, r_0102_0023__chloride, r_0102_0021__of).
arc(r_0102_0019__saturated, r_0102_0018__a_r_0102_0020__solution, arg0).
arc(r_0102_0023__chloride, r_0102_0022__ammonium, attrib59).


%3 r_0102_0023__chloride chloride r_0102_0022__ammonium ammonium r_0102_0023__chloride->r_0102_0022__ammonium [attrib] r_0102_0019__saturated saturated r_0102_0018__a_r_0102_0020__solution a solution r_0102_0019__saturated->r_0102_0018__a_r_0102_0020__solution [arg0] r_0102_0018__a_r_0102_0020__solution->r_0102_0023__chloride of r_0102_0015__100_r_0102_0016__ml 100 ml r_0102_0015__100_r_0102_0016__ml->r_0102_0018__a_r_0102_0020__solution of r_0102_0014__add add r_0102_0014__add->r_0102_0015__100_r_0102_0016__ml [arg1] z_000_102_a_lob_j01_1 r_0102_0014__add->z_000_102_a_lob_j01_1 [arg0] r_0102_0013__and and r_0102_0013__and->r_0102_0014__add [conj2] r_0102_0001__Pipette Pipette r_0102_0013__and->r_0102_0001__Pipette [conj1] r_0102_0001__Pipette->z_000_102_a_lob_j01_1 [arg0] r_0102_0002__10_r_0102_0003__ml 10 ml r_0102_0001__Pipette->r_0102_0002__10_r_0102_0003__ml [arg1] r_0102_0008__a_r_0102_0009__400_r_0102_0010__ml_r_0102_0011__polythene_r_0102_0012__beaker a 400 ml polythene beaker r_0102_0001__Pipette->r_0102_0008__a_r_0102_0009__400_r_0102_0010__ml_r_0102_0011__polythene_r_0102_0012__beaker into [nim] r_0102_0005__the_r_0102_0006__solution the solution r_0102_0002__10_r_0102_0003__ml->r_0102_0005__the_r_0102_0006__solution of 
fof(formula,axiom,
    ? [R_0102_0005__THE_R_0102_0006__SOLUTION,R_0102_0002__10_R_0102_0003__ML,R_0102_0008__A_R_0102_0009__400_R_0102_0010__ML_R_0102_0011__POLYTHENE_R_0102_0012__BEAKER,Z_000_102_A_LOB_J01_1,R_0102_0001__PIPETTE,R_0102_0022__AMMONIUM,R_0102_0023__CHLORIDE,R_0102_0018__A_R_0102_0020__SOLUTION,R_0102_0015__100_R_0102_0016__ML,R_0102_0014__ADD,R_0102_0013__AND,R_0102_0019__SATURATED] :
      ( r_0102_0005__the_r_0102_0006__solution(R_0102_0005__THE_R_0102_0006__SOLUTION)
      & r_0102_0008__a_r_0102_0009__400_r_0102_0010__ml_r_0102_0011__polythene_r_0102_0012__beaker(R_0102_0008__A_R_0102_0009__400_R_0102_0010__ML_R_0102_0011__POLYTHENE_R_0102_0012__BEAKER)
      & r_0102_0022__ammonium(R_0102_0022__AMMONIUM)
      & z_000_102_a_lob_j01_1(Z_000_102_A_LOB_J01_1)
      & r_0102_0019__saturated(R_0102_0019__SATURATED)
      & has_arg0(R_0102_0019__SATURATED,R_0102_0018__A_R_0102_0020__SOLUTION)
      & r_0102_0018__a_r_0102_0020__solution(R_0102_0018__A_R_0102_0020__SOLUTION)
      & has_r_0102_0021__of(R_0102_0018__A_R_0102_0020__SOLUTION,R_0102_0023__CHLORIDE)
      & r_0102_0023__chloride(R_0102_0023__CHLORIDE)
      & has_attrib59(R_0102_0023__CHLORIDE,R_0102_0022__AMMONIUM)
      & r_0102_0013__and(R_0102_0013__AND)
      & has_conj2(R_0102_0013__AND,R_0102_0014__ADD)
      & r_0102_0014__add(R_0102_0014__ADD)
      & has_arg0(R_0102_0014__ADD,Z_000_102_A_LOB_J01_1)
      & has_arg1(R_0102_0014__ADD,R_0102_0015__100_R_0102_0016__ML)
      & r_0102_0015__100_r_0102_0016__ml(R_0102_0015__100_R_0102_0016__ML)
      & has_r_0102_0017__of(R_0102_0015__100_R_0102_0016__ML,R_0102_0018__A_R_0102_0020__SOLUTION)
      & has_conj1(R_0102_0013__AND,R_0102_0001__PIPETTE)
      & r_0102_0001__Pipette(R_0102_0001__PIPETTE)
      & has_arg0(R_0102_0001__PIPETTE,Z_000_102_A_LOB_J01_1)
      & has_r_0102_0007__into_nim22(R_0102_0001__PIPETTE,R_0102_0008__A_R_0102_0009__400_R_0102_0010__ML_R_0102_0011__POLYTHENE_R_0102_0012__BEAKER)
      & has_arg1(R_0102_0001__PIPETTE,R_0102_0002__10_R_0102_0003__ML)
      & r_0102_0002__10_r_0102_0003__ml(R_0102_0002__10_R_0102_0003__ML)
      & has_r_0102_0004__of(R_0102_0002__10_R_0102_0003__ML,R_0102_0005__THE_R_0102_0006__SOLUTION) ) ).


n102_a_lob_j01 n102_a_lob_j01__1_1_1_1_1 Pipette n102_a_lob_j01__1_1_1_2_1_1 10 n102_a_lob_j01__1_1_1_2_2_1 ml n102_a_lob_j01__1_1_1_2_3_1_1 of n102_a_lob_j01__1_1_1_2_3_2_1_1 the n102_a_lob_j01__1_1_1_2_3_2_2_1 solution n102_a_lob_j01__1_1_1_3_1_1 into n102_a_lob_j01__1_1_1_3_2_1_1 a n102_a_lob_j01__1_1_1_3_2_2_1 400 n102_a_lob_j01__1_1_1_3_2_3_1 ml n102_a_lob_j01__1_1_1_3_2_4_1 polythene n102_a_lob_j01__1_1_1_3_2_5_1 beaker n102_a_lob_j01__1_1_2_1_1 and n102_a_lob_j01__1_1_2_2_1_1 add n102_a_lob_j01__1_1_2_2_2_1_1 100 n102_a_lob_j01__1_1_2_2_2_2_1 ml n102_a_lob_j01__1_1_2_2_2_3_1_1 of n102_a_lob_j01__1_1_2_2_2_3_2_1_1 a n102_a_lob_j01__1_1_2_2_2_3_2_2_1_1 saturated n102_a_lob_j01__1_1_2_2_2_3_2_3_1 solution n102_a_lob_j01__1_1_2_2_2_3_2_4_1_1 of n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1_1_1 ammonium n102_a_lob_j01__1_1_2_2_2_3_2_4_2_2_1 chloride n102_a_lob_j01__1_2_1 . n102_a_lob_j01__1 IP-IMP n102_a_lob_j01__1_1 ILYR n102_a_lob_j01__1->n102_a_lob_j01__1_1 n102_a_lob_j01__1_2 PUNC n102_a_lob_j01__1->n102_a_lob_j01__1_2 n102_a_lob_j01__1_1_1 ILYR n102_a_lob_j01__1_1->n102_a_lob_j01__1_1_1 n102_a_lob_j01__1_1_2 CONJP n102_a_lob_j01__1_1->n102_a_lob_j01__1_1_2 n102_a_lob_j01__1_1_1_1 VB;__ n102_a_lob_j01__1_1_1->n102_a_lob_j01__1_1_1_1 n102_a_lob_j01__1_1_1_2 NP-OB1 n102_a_lob_j01__1_1_1->n102_a_lob_j01__1_1_1_2 n102_a_lob_j01__1_1_1_3 PP-NIM n102_a_lob_j01__1_1_1->n102_a_lob_j01__1_1_1_3 n102_a_lob_j01__1_1_1_1->n102_a_lob_j01__1_1_1_1_1 n102_a_lob_j01__1_1_1_2_1 NUM n102_a_lob_j01__1_1_1_2->n102_a_lob_j01__1_1_1_2_1 n102_a_lob_j01__1_1_1_2_2 N n102_a_lob_j01__1_1_1_2->n102_a_lob_j01__1_1_1_2_2 n102_a_lob_j01__1_1_1_2_3 PP n102_a_lob_j01__1_1_1_2->n102_a_lob_j01__1_1_1_2_3 n102_a_lob_j01__1_1_1_2_1->n102_a_lob_j01__1_1_1_2_1_1 n102_a_lob_j01__1_1_1_2_2->n102_a_lob_j01__1_1_1_2_2_1 n102_a_lob_j01__1_1_1_2_3_1 P-ROLE n102_a_lob_j01__1_1_1_2_3->n102_a_lob_j01__1_1_1_2_3_1 n102_a_lob_j01__1_1_1_2_3_2 NP n102_a_lob_j01__1_1_1_2_3->n102_a_lob_j01__1_1_1_2_3_2 n102_a_lob_j01__1_1_1_2_3_1->n102_a_lob_j01__1_1_1_2_3_1_1 n102_a_lob_j01__1_1_1_2_3_2_1 D n102_a_lob_j01__1_1_1_2_3_2->n102_a_lob_j01__1_1_1_2_3_2_1 n102_a_lob_j01__1_1_1_2_3_2_2 N n102_a_lob_j01__1_1_1_2_3_2->n102_a_lob_j01__1_1_1_2_3_2_2 n102_a_lob_j01__1_1_1_2_3_2_1->n102_a_lob_j01__1_1_1_2_3_2_1_1 n102_a_lob_j01__1_1_1_2_3_2_2->n102_a_lob_j01__1_1_1_2_3_2_2_1 n102_a_lob_j01__1_1_1_3_1 P-ROLE n102_a_lob_j01__1_1_1_3->n102_a_lob_j01__1_1_1_3_1 n102_a_lob_j01__1_1_1_3_2 NP n102_a_lob_j01__1_1_1_3->n102_a_lob_j01__1_1_1_3_2 n102_a_lob_j01__1_1_1_3_1->n102_a_lob_j01__1_1_1_3_1_1 n102_a_lob_j01__1_1_1_3_2_1 D n102_a_lob_j01__1_1_1_3_2->n102_a_lob_j01__1_1_1_3_2_1 n102_a_lob_j01__1_1_1_3_2_2 NUM n102_a_lob_j01__1_1_1_3_2->n102_a_lob_j01__1_1_1_3_2_2 n102_a_lob_j01__1_1_1_3_2_3 N n102_a_lob_j01__1_1_1_3_2->n102_a_lob_j01__1_1_1_3_2_3 n102_a_lob_j01__1_1_1_3_2_4 N n102_a_lob_j01__1_1_1_3_2->n102_a_lob_j01__1_1_1_3_2_4 n102_a_lob_j01__1_1_1_3_2_5 N n102_a_lob_j01__1_1_1_3_2->n102_a_lob_j01__1_1_1_3_2_5 n102_a_lob_j01__1_1_1_3_2_1->n102_a_lob_j01__1_1_1_3_2_1_1 n102_a_lob_j01__1_1_1_3_2_2->n102_a_lob_j01__1_1_1_3_2_2_1 n102_a_lob_j01__1_1_1_3_2_3->n102_a_lob_j01__1_1_1_3_2_3_1 n102_a_lob_j01__1_1_1_3_2_4->n102_a_lob_j01__1_1_1_3_2_4_1 n102_a_lob_j01__1_1_1_3_2_5->n102_a_lob_j01__1_1_1_3_2_5_1 n102_a_lob_j01__1_1_2_1 CONJ n102_a_lob_j01__1_1_2->n102_a_lob_j01__1_1_2_1 n102_a_lob_j01__1_1_2_2 ILYR n102_a_lob_j01__1_1_2->n102_a_lob_j01__1_1_2_2 n102_a_lob_j01__1_1_2_1->n102_a_lob_j01__1_1_2_1_1 n102_a_lob_j01__1_1_2_2_1 VB;__ n102_a_lob_j01__1_1_2_2->n102_a_lob_j01__1_1_2_2_1 n102_a_lob_j01__1_1_2_2_2 NP-OB1 n102_a_lob_j01__1_1_2_2->n102_a_lob_j01__1_1_2_2_2 n102_a_lob_j01__1_1_2_2_1->n102_a_lob_j01__1_1_2_2_1_1 n102_a_lob_j01__1_1_2_2_2_1 NUM n102_a_lob_j01__1_1_2_2_2->n102_a_lob_j01__1_1_2_2_2_1 n102_a_lob_j01__1_1_2_2_2_2 N n102_a_lob_j01__1_1_2_2_2->n102_a_lob_j01__1_1_2_2_2_2 n102_a_lob_j01__1_1_2_2_2_3 PP n102_a_lob_j01__1_1_2_2_2->n102_a_lob_j01__1_1_2_2_2_3 n102_a_lob_j01__1_1_2_2_2_1->n102_a_lob_j01__1_1_2_2_2_1_1 n102_a_lob_j01__1_1_2_2_2_2->n102_a_lob_j01__1_1_2_2_2_2_1 n102_a_lob_j01__1_1_2_2_2_3_1 P-ROLE n102_a_lob_j01__1_1_2_2_2_3->n102_a_lob_j01__1_1_2_2_2_3_1 n102_a_lob_j01__1_1_2_2_2_3_2 NP n102_a_lob_j01__1_1_2_2_2_3->n102_a_lob_j01__1_1_2_2_2_3_2 n102_a_lob_j01__1_1_2_2_2_3_1->n102_a_lob_j01__1_1_2_2_2_3_1_1 n102_a_lob_j01__1_1_2_2_2_3_2_1 D n102_a_lob_j01__1_1_2_2_2_3_2->n102_a_lob_j01__1_1_2_2_2_3_2_1 n102_a_lob_j01__1_1_2_2_2_3_2_2 IP-PPL n102_a_lob_j01__1_1_2_2_2_3_2->n102_a_lob_j01__1_1_2_2_2_3_2_2 n102_a_lob_j01__1_1_2_2_2_3_2_3 N n102_a_lob_j01__1_1_2_2_2_3_2->n102_a_lob_j01__1_1_2_2_2_3_2_3 n102_a_lob_j01__1_1_2_2_2_3_2_4 PP n102_a_lob_j01__1_1_2_2_2_3_2->n102_a_lob_j01__1_1_2_2_2_3_2_4 n102_a_lob_j01__1_1_2_2_2_3_2_1->n102_a_lob_j01__1_1_2_2_2_3_2_1_1 n102_a_lob_j01__1_1_2_2_2_3_2_2_1 VVN;__ n102_a_lob_j01__1_1_2_2_2_3_2_2->n102_a_lob_j01__1_1_2_2_2_3_2_2_1 n102_a_lob_j01__1_1_2_2_2_3_2_2_1->n102_a_lob_j01__1_1_2_2_2_3_2_2_1_1 n102_a_lob_j01__1_1_2_2_2_3_2_3->n102_a_lob_j01__1_1_2_2_2_3_2_3_1 n102_a_lob_j01__1_1_2_2_2_3_2_4_1 P-ROLE n102_a_lob_j01__1_1_2_2_2_3_2_4->n102_a_lob_j01__1_1_2_2_2_3_2_4_1 n102_a_lob_j01__1_1_2_2_2_3_2_4_2 NP n102_a_lob_j01__1_1_2_2_2_3_2_4->n102_a_lob_j01__1_1_2_2_2_3_2_4_2 n102_a_lob_j01__1_1_2_2_2_3_2_4_1->n102_a_lob_j01__1_1_2_2_2_3_2_4_1_1 n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1 ADJP n102_a_lob_j01__1_1_2_2_2_3_2_4_2->n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1 n102_a_lob_j01__1_1_2_2_2_3_2_4_2_2 N n102_a_lob_j01__1_1_2_2_2_3_2_4_2->n102_a_lob_j01__1_1_2_2_2_3_2_4_2_2 n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1_1 ADJ n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1->n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1_1 n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1_1->n102_a_lob_j01__1_1_2_2_2_3_2_4_2_1_1_1 n102_a_lob_j01__1_1_2_2_2_3_2_4_2_2->n102_a_lob_j01__1_1_2_2_2_3_2_4_2_2_1 n102_a_lob_j01__1_2->n102_a_lob_j01__1_2_1 
( (IP-IMP (ILYR (ILYR (VB;__ Pipette;{pipette})
                      (NP-OB1 (NUM 10)
                              (N ml;{ml})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N solution;{solution}))))
                      (PP-NIM (P-ROLE into;{into})
                              (NP (D a;{a})
                                  (NUM 400)
                                  (N ml;{ml})
                                  (N polythene;{polythene})
                                  (N beaker;{beaker}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;__ add;{add})
                             (NP-OB1 (NUM 100)
                                     (N ml;{ml})
                                     (PP (P-ROLE of;{of})
                                         (NP (D a;{a})
                                             (IP-PPL (VVN;__ saturated;{saturate}))
                                             (N solution;{solution})
                                             (PP (P-ROLE of;{of})
                                                 (NP (ADJP (ADJ ammonium;{ammonium}))
                                                     (N chloride;{chloride})))))))))
          (PUNC .))
  (ID 102_a_lob_j01))