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 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] 
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_5 Transfer n95_a_lob_j01_8 to n95_a_lob_j01_11 four n95_a_lob_j01_13 200 n95_a_lob_j01_15 ml n95_a_lob_j01_17 polythene n95_a_lob_j01_19 bottles n95_a_lob_j01_21 , n95_a_lob_j01_27 centrifuge n95_a_lob_j01_29 , n95_a_lob_j01_33 decant n95_a_lob_j01_36 and n95_a_lob_j01_39 discard n95_a_lob_j01_42 each n95_a_lob_j01_44 supernate n95_a_lob_j01_46 . n95_a_lob_j01_1 IP-IMP n95_a_lob_j01_2 ILYR n95_a_lob_j01_1->n95_a_lob_j01_2 n95_a_lob_j01_45 PUNC n95_a_lob_j01_1->n95_a_lob_j01_45 n95_a_lob_j01_3 ILYR n95_a_lob_j01_2->n95_a_lob_j01_3 n95_a_lob_j01_20 PUNC n95_a_lob_j01_2->n95_a_lob_j01_20 n95_a_lob_j01_22 CONJP n95_a_lob_j01_2->n95_a_lob_j01_22 n95_a_lob_j01_4 VB;__ n95_a_lob_j01_3->n95_a_lob_j01_4 n95_a_lob_j01_6 PP-CLR n95_a_lob_j01_3->n95_a_lob_j01_6 n95_a_lob_j01_4->n95_a_lob_j01_5 n95_a_lob_j01_7 P-ROLE n95_a_lob_j01_6->n95_a_lob_j01_7 n95_a_lob_j01_9 NP n95_a_lob_j01_6->n95_a_lob_j01_9 n95_a_lob_j01_7->n95_a_lob_j01_8 n95_a_lob_j01_10 NUM n95_a_lob_j01_9->n95_a_lob_j01_10 n95_a_lob_j01_12 NUM n95_a_lob_j01_9->n95_a_lob_j01_12 n95_a_lob_j01_14 N n95_a_lob_j01_9->n95_a_lob_j01_14 n95_a_lob_j01_16 N n95_a_lob_j01_9->n95_a_lob_j01_16 n95_a_lob_j01_18 NS n95_a_lob_j01_9->n95_a_lob_j01_18 n95_a_lob_j01_10->n95_a_lob_j01_11 n95_a_lob_j01_12->n95_a_lob_j01_13 n95_a_lob_j01_14->n95_a_lob_j01_15 n95_a_lob_j01_16->n95_a_lob_j01_17 n95_a_lob_j01_18->n95_a_lob_j01_19 n95_a_lob_j01_20->n95_a_lob_j01_21 n95_a_lob_j01_23 ILYR n95_a_lob_j01_22->n95_a_lob_j01_23 n95_a_lob_j01_24 ILYR n95_a_lob_j01_23->n95_a_lob_j01_24 n95_a_lob_j01_40 NP-OB1 n95_a_lob_j01_23->n95_a_lob_j01_40 n95_a_lob_j01_25 ILYR n95_a_lob_j01_24->n95_a_lob_j01_25 n95_a_lob_j01_28 PUNC n95_a_lob_j01_24->n95_a_lob_j01_28 n95_a_lob_j01_30 CONJP n95_a_lob_j01_24->n95_a_lob_j01_30 n95_a_lob_j01_34 CONJP n95_a_lob_j01_24->n95_a_lob_j01_34 n95_a_lob_j01_26 VB;__ n95_a_lob_j01_25->n95_a_lob_j01_26 n95_a_lob_j01_26->n95_a_lob_j01_27 n95_a_lob_j01_28->n95_a_lob_j01_29 n95_a_lob_j01_31 ILYR n95_a_lob_j01_30->n95_a_lob_j01_31 n95_a_lob_j01_32 VB;__ n95_a_lob_j01_31->n95_a_lob_j01_32 n95_a_lob_j01_32->n95_a_lob_j01_33 n95_a_lob_j01_35 CONJ n95_a_lob_j01_34->n95_a_lob_j01_35 n95_a_lob_j01_37 ILYR n95_a_lob_j01_34->n95_a_lob_j01_37 n95_a_lob_j01_35->n95_a_lob_j01_36 n95_a_lob_j01_38 VB;__ n95_a_lob_j01_37->n95_a_lob_j01_38 n95_a_lob_j01_38->n95_a_lob_j01_39 n95_a_lob_j01_41 Q n95_a_lob_j01_40->n95_a_lob_j01_41 n95_a_lob_j01_43 N n95_a_lob_j01_40->n95_a_lob_j01_43 n95_a_lob_j01_41->n95_a_lob_j01_42 n95_a_lob_j01_43->n95_a_lob_j01_44 n95_a_lob_j01_45->n95_a_lob_j01_46 
( (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))