Context                Previous, Next                Top


95_a_lob_j01
Transfer to four 200 ml polythene bottles, centrifuge, decant and discard each supernate.

%3 r_0095_0001__Transfer Transfer r_0095_0003__four_r_0095_0004__200_r_0095_0005__ml_r_0095_0006__polythene_r_0095_0007__bottles four 200 ml polythene bottles r_0095_0001__Transfer->r_0095_0003__four_r_0095_0004__200_r_0095_0005__ml_r_0095_0006__polythene_r_0095_0007__bottles to [clr] z_000_95_a_lob_j01_1 r_0095_0001__Transfer->z_000_95_a_lob_j01_1 [arg0] r_0095_0009__centrifuge centrifuge r_0095_0009__centrifuge->z_000_95_a_lob_j01_1 [arg0] r_0095_0015__supernate supernate r_0095_0009__centrifuge->r_0095_0015__supernate [arg1] r_0095_0011__decant decant r_0095_0011__decant->z_000_95_a_lob_j01_1 [arg0] r_0095_0011__decant->r_0095_0015__supernate [arg1] r_0095_0012__and and r_0095_0012__and->r_0095_0009__centrifuge [conj1] r_0095_0012__and->r_0095_0011__decant [conj2] r_0095_0013__discard discard r_0095_0012__and->r_0095_0013__discard [conj3] r_0095_0013__discard->z_000_95_a_lob_j01_1 [arg0] r_0095_0013__discard->r_0095_0015__supernate [arg1] r_0095_0014__each_quant each [quant] r_0095_0014__each_quant->r_0095_0015__supernate [restriction] r_0095_0014__each_quant->r_0095_0012__and [scope] z_000_95_a_lob_j01_2 z_000_95_a_lob_j01_2->r_0095_0001__Transfer [conj1] z_000_95_a_lob_j01_2->r_0095_0014__each_quant [conj2] 
arc(r_0095_0001__Transfer, r_0095_0003__four_r_0095_0004__200_r_0095_0005__ml_r_0095_0006__polythene_r_0095_0007__bottles, r_0095_0002__to_clr9).
arc(r_0095_0001__Transfer, z_000_95_a_lob_j01_1, arg0).
arc(r_0095_0009__centrifuge, r_0095_0015__supernate, arg1).
arc(r_0095_0009__centrifuge, z_000_95_a_lob_j01_1, arg0).
arc(r_0095_0011__decant, r_0095_0015__supernate, arg1).
arc(r_0095_0011__decant, z_000_95_a_lob_j01_1, arg0).
arc(r_0095_0012__and, r_0095_0009__centrifuge, conj1).
arc(r_0095_0012__and, r_0095_0011__decant, conj2).
arc(r_0095_0012__and, r_0095_0013__discard, conj3).
arc(r_0095_0013__discard, r_0095_0015__supernate, arg1).
arc(r_0095_0013__discard, z_000_95_a_lob_j01_1, arg0).
arc(r_0095_0014__each_quant, r_0095_0012__and, scope).
arc(r_0095_0014__each_quant, r_0095_0015__supernate, restriction).
arc(z_000_95_a_lob_j01_2, r_0095_0001__Transfer, conj1).
arc(z_000_95_a_lob_j01_2, r_0095_0014__each_quant, conj2).


%3 z_000_95_a_lob_j01_2 r_0095_0014__each_quant each [quant] z_000_95_a_lob_j01_2->r_0095_0014__each_quant [conj2] r_0095_0001__Transfer Transfer z_000_95_a_lob_j01_2->r_0095_0001__Transfer [conj1] r_0095_0015__supernate supernate r_0095_0014__each_quant->r_0095_0015__supernate [restriction] r_0095_0012__and and r_0095_0014__each_quant->r_0095_0012__and [scope] z_000_95_a_lob_j01_1 r_0095_0001__Transfer->z_000_95_a_lob_j01_1 [arg0] r_0095_0003__four_r_0095_0004__200_r_0095_0005__ml_r_0095_0006__polythene_r_0095_0007__bottles four 200 ml polythene bottles r_0095_0001__Transfer->r_0095_0003__four_r_0095_0004__200_r_0095_0005__ml_r_0095_0006__polythene_r_0095_0007__bottles to [clr] r_0095_0013__discard discard r_0095_0012__and->r_0095_0013__discard [conj3] r_0095_0011__decant decant r_0095_0012__and->r_0095_0011__decant [conj2] r_0095_0009__centrifuge centrifuge r_0095_0012__and->r_0095_0009__centrifuge [conj1] r_0095_0013__discard->r_0095_0015__supernate [arg1] r_0095_0013__discard->z_000_95_a_lob_j01_1 [arg0] r_0095_0011__decant->r_0095_0015__supernate [arg1] r_0095_0011__decant->z_000_95_a_lob_j01_1 [arg0] r_0095_0009__centrifuge->r_0095_0015__supernate [arg1] r_0095_0009__centrifuge->z_000_95_a_lob_j01_1 [arg0] 
fof(formula,axiom,
    ? [Z_95_A_LOB_J01_2,R_95_1_TRANSFER,Z_95_A_LOB_J01_1,R_95_3_FOUR_200_ML_POLYTHENE_BOTTLES] :
      ( four_200_ml_polythene_bottles(R_95_3_FOUR_200_ML_POLYTHENE_BOTTLES)
      & ! [R_95_15_SUPERNATE] :
          ( supernate(R_95_15_SUPERNATE)
         => ? [R_95_12_AND,R_95_9_CENTRIFUGE,R_95_11_DECANT,R_95_13_DISCARD] :
              ( and(R_95_12_AND)
              & conj1(R_95_12_AND,R_95_9_CENTRIFUGE)
              & centrifuge(R_95_9_CENTRIFUGE,Z_95_A_LOB_J01_1,R_95_15_SUPERNATE)
              & conj2(R_95_12_AND,R_95_11_DECANT)
              & decant(R_95_11_DECANT,Z_95_A_LOB_J01_1,R_95_15_SUPERNATE)
              & conj3(R_95_12_AND,R_95_13_DISCARD)
              & discard(R_95_13_DISCARD,Z_95_A_LOB_J01_1,R_95_15_SUPERNATE) ) )
      & conj2(CONJ2)
      & z_95_a_lob_j01_2(Z_95_A_LOB_J01_2)
      & conj1(Z_95_A_LOB_J01_2,R_95_1_TRANSFER)
      & transfer(R_95_1_TRANSFER,Z_95_A_LOB_J01_1)
      & to_clr9(R_95_1_TRANSFER,R_95_3_FOUR_200_ML_POLYTHENE_BOTTLES) ) ).


n95_a_lob_j01 n95_a_lob_j01__1_1_1_1_1 Transfer n95_a_lob_j01__1_1_1_2_1_1 to n95_a_lob_j01__1_1_1_2_2_1_1 four n95_a_lob_j01__1_1_1_2_2_2_1 200 n95_a_lob_j01__1_1_1_2_2_3_1 ml n95_a_lob_j01__1_1_1_2_2_4_1 polythene n95_a_lob_j01__1_1_1_2_2_5_1 bottles n95_a_lob_j01__1_1_2_1 , n95_a_lob_j01__1_1_3_1_1_1_1_1 centrifuge n95_a_lob_j01__1_1_3_1_1_2_1 , n95_a_lob_j01__1_1_3_1_1_3_1_1_1 decant n95_a_lob_j01__1_1_3_1_1_4_1_1 and n95_a_lob_j01__1_1_3_1_1_4_2_1_1 discard n95_a_lob_j01__1_1_3_1_2_1_1 each n95_a_lob_j01__1_1_3_1_2_2_1 supernate n95_a_lob_j01__1_2_1 . n95_a_lob_j01__1 IP-IMP n95_a_lob_j01__1_1 ILYR n95_a_lob_j01__1->n95_a_lob_j01__1_1 n95_a_lob_j01__1_2 PUNC n95_a_lob_j01__1->n95_a_lob_j01__1_2 n95_a_lob_j01__1_1_1 ILYR n95_a_lob_j01__1_1->n95_a_lob_j01__1_1_1 n95_a_lob_j01__1_1_2 PUNC n95_a_lob_j01__1_1->n95_a_lob_j01__1_1_2 n95_a_lob_j01__1_1_3 CONJP n95_a_lob_j01__1_1->n95_a_lob_j01__1_1_3 n95_a_lob_j01__1_1_1_1 VB;__ n95_a_lob_j01__1_1_1->n95_a_lob_j01__1_1_1_1 n95_a_lob_j01__1_1_1_2 PP-CLR n95_a_lob_j01__1_1_1->n95_a_lob_j01__1_1_1_2 n95_a_lob_j01__1_1_1_1->n95_a_lob_j01__1_1_1_1_1 n95_a_lob_j01__1_1_1_2_1 P-ROLE n95_a_lob_j01__1_1_1_2->n95_a_lob_j01__1_1_1_2_1 n95_a_lob_j01__1_1_1_2_2 NP n95_a_lob_j01__1_1_1_2->n95_a_lob_j01__1_1_1_2_2 n95_a_lob_j01__1_1_1_2_1->n95_a_lob_j01__1_1_1_2_1_1 n95_a_lob_j01__1_1_1_2_2_1 NUM n95_a_lob_j01__1_1_1_2_2->n95_a_lob_j01__1_1_1_2_2_1 n95_a_lob_j01__1_1_1_2_2_2 NUM n95_a_lob_j01__1_1_1_2_2->n95_a_lob_j01__1_1_1_2_2_2 n95_a_lob_j01__1_1_1_2_2_3 N n95_a_lob_j01__1_1_1_2_2->n95_a_lob_j01__1_1_1_2_2_3 n95_a_lob_j01__1_1_1_2_2_4 N n95_a_lob_j01__1_1_1_2_2->n95_a_lob_j01__1_1_1_2_2_4 n95_a_lob_j01__1_1_1_2_2_5 NS n95_a_lob_j01__1_1_1_2_2->n95_a_lob_j01__1_1_1_2_2_5 n95_a_lob_j01__1_1_1_2_2_1->n95_a_lob_j01__1_1_1_2_2_1_1 n95_a_lob_j01__1_1_1_2_2_2->n95_a_lob_j01__1_1_1_2_2_2_1 n95_a_lob_j01__1_1_1_2_2_3->n95_a_lob_j01__1_1_1_2_2_3_1 n95_a_lob_j01__1_1_1_2_2_4->n95_a_lob_j01__1_1_1_2_2_4_1 n95_a_lob_j01__1_1_1_2_2_5->n95_a_lob_j01__1_1_1_2_2_5_1 n95_a_lob_j01__1_1_2->n95_a_lob_j01__1_1_2_1 n95_a_lob_j01__1_1_3_1 ILYR n95_a_lob_j01__1_1_3->n95_a_lob_j01__1_1_3_1 n95_a_lob_j01__1_1_3_1_1 ILYR n95_a_lob_j01__1_1_3_1->n95_a_lob_j01__1_1_3_1_1 n95_a_lob_j01__1_1_3_1_2 NP-OB1 n95_a_lob_j01__1_1_3_1->n95_a_lob_j01__1_1_3_1_2 n95_a_lob_j01__1_1_3_1_1_1 ILYR n95_a_lob_j01__1_1_3_1_1->n95_a_lob_j01__1_1_3_1_1_1 n95_a_lob_j01__1_1_3_1_1_2 PUNC n95_a_lob_j01__1_1_3_1_1->n95_a_lob_j01__1_1_3_1_1_2 n95_a_lob_j01__1_1_3_1_1_3 CONJP n95_a_lob_j01__1_1_3_1_1->n95_a_lob_j01__1_1_3_1_1_3 n95_a_lob_j01__1_1_3_1_1_4 CONJP n95_a_lob_j01__1_1_3_1_1->n95_a_lob_j01__1_1_3_1_1_4 n95_a_lob_j01__1_1_3_1_1_1_1 VB;__ n95_a_lob_j01__1_1_3_1_1_1->n95_a_lob_j01__1_1_3_1_1_1_1 n95_a_lob_j01__1_1_3_1_1_1_1->n95_a_lob_j01__1_1_3_1_1_1_1_1 n95_a_lob_j01__1_1_3_1_1_2->n95_a_lob_j01__1_1_3_1_1_2_1 n95_a_lob_j01__1_1_3_1_1_3_1 ILYR n95_a_lob_j01__1_1_3_1_1_3->n95_a_lob_j01__1_1_3_1_1_3_1 n95_a_lob_j01__1_1_3_1_1_3_1_1 VB;__ n95_a_lob_j01__1_1_3_1_1_3_1->n95_a_lob_j01__1_1_3_1_1_3_1_1 n95_a_lob_j01__1_1_3_1_1_3_1_1->n95_a_lob_j01__1_1_3_1_1_3_1_1_1 n95_a_lob_j01__1_1_3_1_1_4_1 CONJ n95_a_lob_j01__1_1_3_1_1_4->n95_a_lob_j01__1_1_3_1_1_4_1 n95_a_lob_j01__1_1_3_1_1_4_2 ILYR n95_a_lob_j01__1_1_3_1_1_4->n95_a_lob_j01__1_1_3_1_1_4_2 n95_a_lob_j01__1_1_3_1_1_4_1->n95_a_lob_j01__1_1_3_1_1_4_1_1 n95_a_lob_j01__1_1_3_1_1_4_2_1 VB;__ n95_a_lob_j01__1_1_3_1_1_4_2->n95_a_lob_j01__1_1_3_1_1_4_2_1 n95_a_lob_j01__1_1_3_1_1_4_2_1->n95_a_lob_j01__1_1_3_1_1_4_2_1_1 n95_a_lob_j01__1_1_3_1_2_1 Q n95_a_lob_j01__1_1_3_1_2->n95_a_lob_j01__1_1_3_1_2_1 n95_a_lob_j01__1_1_3_1_2_2 N n95_a_lob_j01__1_1_3_1_2->n95_a_lob_j01__1_1_3_1_2_2 n95_a_lob_j01__1_1_3_1_2_1->n95_a_lob_j01__1_1_3_1_2_1_1 n95_a_lob_j01__1_1_3_1_2_2->n95_a_lob_j01__1_1_3_1_2_2_1 n95_a_lob_j01__1_2->n95_a_lob_j01__1_2_1 
( (IP-IMP (ILYR (ILYR (VB;__ Transfer;{transfer})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (NUM four;{four})
                                  (NUM 200)
                                  (N ml;{ml})
                                  (N polythene;{polythene})
                                  (NS bottles;{bottle}))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (VB;__ centrifuge;{centrifuge}))
                                   (PUNC ,)
                                   (CONJP (ILYR (VB;__ decant;{decant})))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VB;__ discard;{discard}))))
                             (NP-OB1 (Q each;{each})
                                     (N supernate;{supernate})))))
          (PUNC .))
  (ID 95_a_lob_j01))