Context                Previous, Next                Top


100_a_lob_j01
Combine the solutions from each of the 200 ml polythene bottles, and dilute to 2 litres with distilled water in a polythene bottle.

%3 r_0100_0001__Combine Combine r_0100_0002__the_r_0100_0003__solutions the solutions r_0100_0001__Combine->r_0100_0002__the_r_0100_0003__solutions [arg1] z_000_100_a_lob_j01_14 r_0100_0001__Combine->z_000_100_a_lob_j01_14 from [nim] z_000_100_a_lob_j01_1 r_0100_0001__Combine->z_000_100_a_lob_j01_1 [arg0] r_0100_0007__the_r_0100_0008__200_r_0100_0009__ml_r_0100_0010__polythene_r_0100_0011__bottles the 200 ml polythene bottles z_000_100_a_lob_j01_14->r_0100_0007__the_r_0100_0008__200_r_0100_0009__ml_r_0100_0010__polythene_r_0100_0011__bottles of r_0100_0005__each_quant each [quant] r_0100_0005__each_quant->r_0100_0001__Combine [scope] r_0100_0005__each_quant->z_000_100_a_lob_j01_14 [restriction] r_0100_0013__and and r_0100_0013__and->r_0100_0005__each_quant [conj1] r_0100_0014__dilute dilute r_0100_0013__and->r_0100_0014__dilute [conj2] r_0100_0014__dilute->z_000_100_a_lob_j01_1 [arg0] r_0100_0016__2_r_0100_0017__litres 2 litres r_0100_0014__dilute->r_0100_0016__2_r_0100_0017__litres to [nim] r_0100_0020__water water r_0100_0014__dilute->r_0100_0020__water with [nim] r_0100_0022__a_r_0100_0024__bottle a bottle r_0100_0020__water->r_0100_0022__a_r_0100_0024__bottle in r_0100_0019__distilled distilled r_0100_0019__distilled->r_0100_0020__water [arg0] r_0100_0023__polythene polythene r_0100_0022__a_r_0100_0024__bottle->r_0100_0023__polythene [attrib] 
arc(r_0100_0001__Combine, r_0100_0002__the_r_0100_0003__solutions, arg1).
arc(r_0100_0001__Combine, z_000_100_a_lob_j01_14, r_0100_0004__from_nim14).
arc(r_0100_0001__Combine, z_000_100_a_lob_j01_1, arg0).
arc(r_0100_0005__each_quant, r_0100_0001__Combine, scope).
arc(r_0100_0005__each_quant, z_000_100_a_lob_j01_14, restriction).
arc(r_0100_0013__and, r_0100_0005__each_quant, conj1).
arc(r_0100_0013__and, r_0100_0014__dilute, conj2).
arc(r_0100_0014__dilute, r_0100_0016__2_r_0100_0017__litres, r_0100_0015__to_nim42).
arc(r_0100_0014__dilute, r_0100_0020__water, r_0100_0018__with_nim50).
arc(r_0100_0014__dilute, z_000_100_a_lob_j01_1, arg0).
arc(r_0100_0019__distilled, r_0100_0020__water, arg0).
arc(r_0100_0020__water, r_0100_0022__a_r_0100_0024__bottle, r_0100_0021__in).
arc(r_0100_0022__a_r_0100_0024__bottle, r_0100_0023__polythene, attrib62).
arc(z_000_100_a_lob_j01_14, r_0100_0007__the_r_0100_0008__200_r_0100_0009__ml_r_0100_0010__polythene_r_0100_0011__bottles, r_0100_0006__of).


%3 r_0100_0001__Combine Combine r_0100_0002__the_r_0100_0003__solutions the solutions r_0100_0001__Combine->r_0100_0002__the_r_0100_0003__solutions [arg1] z_000_100_a_lob_j01_14 r_0100_0001__Combine->z_000_100_a_lob_j01_14 from [nim] z_000_100_a_lob_j01_1 r_0100_0001__Combine->z_000_100_a_lob_j01_1 [arg0] r_0100_0007__the_r_0100_0008__200_r_0100_0009__ml_r_0100_0010__polythene_r_0100_0011__bottles the 200 ml polythene bottles z_000_100_a_lob_j01_14->r_0100_0007__the_r_0100_0008__200_r_0100_0009__ml_r_0100_0010__polythene_r_0100_0011__bottles of r_0100_0005__each_quant each [quant] r_0100_0005__each_quant->r_0100_0001__Combine [scope] r_0100_0005__each_quant->z_000_100_a_lob_j01_14 [restriction] r_0100_0013__and and r_0100_0013__and->r_0100_0005__each_quant [conj1] r_0100_0014__dilute dilute r_0100_0013__and->r_0100_0014__dilute [conj2] r_0100_0014__dilute->z_000_100_a_lob_j01_1 [arg0] r_0100_0016__2_r_0100_0017__litres 2 litres r_0100_0014__dilute->r_0100_0016__2_r_0100_0017__litres to [nim] r_0100_0020__water water r_0100_0014__dilute->r_0100_0020__water with [nim] r_0100_0022__a_r_0100_0024__bottle a bottle r_0100_0020__water->r_0100_0022__a_r_0100_0024__bottle in r_0100_0019__distilled distilled r_0100_0019__distilled->r_0100_0020__water [arg0] r_0100_0023__polythene polythene r_0100_0022__a_r_0100_0024__bottle->r_0100_0023__polythene [attrib] 
fof(formula,axiom,
    ? [R_100_13_AND,R_100_14_DILUTE,Z_100_A_LOB_J01_1,R_100_16_2_LITRES,R_100_19_DISTILLED,R_100_20_WATER,R_100_22_A_BOTTLE,R_100_23_POLYTHENE] :
      ( 2_litres(R_100_16_2_LITRES)
      & polythene(R_100_23_POLYTHENE)
      & ! [Z_100_A_LOB_J01_14,R_100_7_THE_200_ML_POLYTHENE_BOTTLES] :
          ( ( the_200_ml_polythene_bottles(R_100_7_THE_200_ML_POLYTHENE_BOTTLES)
            & z_100_a_lob_j01_14(Z_100_A_LOB_J01_14)
            & of(Z_100_A_LOB_J01_14,R_100_7_THE_200_ML_POLYTHENE_BOTTLES) )
         => ? [R_100_1_COMBINE,R_100_2_THE_SOLUTIONS] :
              ( the_solutions(R_100_2_THE_SOLUTIONS)
              & combine(R_100_1_COMBINE,Z_100_A_LOB_J01_1,R_100_2_THE_SOLUTIONS)
              & from_nim14(R_100_1_COMBINE,Z_100_A_LOB_J01_14) ) )
      & conj1(CONJ1)
      & and(R_100_13_AND)
      & conj2(R_100_13_AND,R_100_14_DILUTE)
      & dilute(R_100_14_DILUTE,Z_100_A_LOB_J01_1)
      & to_nim42(R_100_14_DILUTE,R_100_16_2_LITRES)
      & with_nim50(R_100_14_DILUTE,R_100_20_WATER)
      & water(R_100_20_WATER)
      & in(R_100_20_WATER,R_100_22_A_BOTTLE)
      & a_bottle(R_100_22_A_BOTTLE)
      & attrib62(R_100_22_A_BOTTLE,R_100_23_POLYTHENE)
      & distilled(R_100_19_DISTILLED,R_100_20_WATER) ) ).


n100_a_lob_j01 n100_a_lob_j01_5 Combine n100_a_lob_j01_8 the n100_a_lob_j01_10 solutions n100_a_lob_j01_13 from n100_a_lob_j01_16 each n100_a_lob_j01_19 of n100_a_lob_j01_22 the n100_a_lob_j01_24 200 n100_a_lob_j01_26 ml n100_a_lob_j01_28 polythene n100_a_lob_j01_30 bottles n100_a_lob_j01_32 , n100_a_lob_j01_35 and n100_a_lob_j01_38 dilute n100_a_lob_j01_41 to n100_a_lob_j01_44 2 n100_a_lob_j01_46 litres n100_a_lob_j01_49 with n100_a_lob_j01_53 distilled n100_a_lob_j01_55 water n100_a_lob_j01_58 in n100_a_lob_j01_61 a n100_a_lob_j01_64 polythene n100_a_lob_j01_66 bottle n100_a_lob_j01_68 . n100_a_lob_j01_1 IP-IMP n100_a_lob_j01_2 ILYR n100_a_lob_j01_1->n100_a_lob_j01_2 n100_a_lob_j01_67 PUNC n100_a_lob_j01_1->n100_a_lob_j01_67 n100_a_lob_j01_3 ILYR n100_a_lob_j01_2->n100_a_lob_j01_3 n100_a_lob_j01_31 PUNC n100_a_lob_j01_2->n100_a_lob_j01_31 n100_a_lob_j01_33 CONJP n100_a_lob_j01_2->n100_a_lob_j01_33 n100_a_lob_j01_4 VB;__ n100_a_lob_j01_3->n100_a_lob_j01_4 n100_a_lob_j01_6 NP-OB1 n100_a_lob_j01_3->n100_a_lob_j01_6 n100_a_lob_j01_11 PP-NIM n100_a_lob_j01_3->n100_a_lob_j01_11 n100_a_lob_j01_4->n100_a_lob_j01_5 n100_a_lob_j01_7 D n100_a_lob_j01_6->n100_a_lob_j01_7 n100_a_lob_j01_9 NS n100_a_lob_j01_6->n100_a_lob_j01_9 n100_a_lob_j01_7->n100_a_lob_j01_8 n100_a_lob_j01_9->n100_a_lob_j01_10 n100_a_lob_j01_12 P-ROLE n100_a_lob_j01_11->n100_a_lob_j01_12 n100_a_lob_j01_14 NP n100_a_lob_j01_11->n100_a_lob_j01_14 n100_a_lob_j01_12->n100_a_lob_j01_13 n100_a_lob_j01_15 Q;_nphd_ n100_a_lob_j01_14->n100_a_lob_j01_15 n100_a_lob_j01_17 PP n100_a_lob_j01_14->n100_a_lob_j01_17 n100_a_lob_j01_15->n100_a_lob_j01_16 n100_a_lob_j01_18 P-ROLE n100_a_lob_j01_17->n100_a_lob_j01_18 n100_a_lob_j01_20 NP n100_a_lob_j01_17->n100_a_lob_j01_20 n100_a_lob_j01_18->n100_a_lob_j01_19 n100_a_lob_j01_21 D n100_a_lob_j01_20->n100_a_lob_j01_21 n100_a_lob_j01_23 NUM n100_a_lob_j01_20->n100_a_lob_j01_23 n100_a_lob_j01_25 N n100_a_lob_j01_20->n100_a_lob_j01_25 n100_a_lob_j01_27 N n100_a_lob_j01_20->n100_a_lob_j01_27 n100_a_lob_j01_29 NS n100_a_lob_j01_20->n100_a_lob_j01_29 n100_a_lob_j01_21->n100_a_lob_j01_22 n100_a_lob_j01_23->n100_a_lob_j01_24 n100_a_lob_j01_25->n100_a_lob_j01_26 n100_a_lob_j01_27->n100_a_lob_j01_28 n100_a_lob_j01_29->n100_a_lob_j01_30 n100_a_lob_j01_31->n100_a_lob_j01_32 n100_a_lob_j01_34 CONJ n100_a_lob_j01_33->n100_a_lob_j01_34 n100_a_lob_j01_36 ILYR n100_a_lob_j01_33->n100_a_lob_j01_36 n100_a_lob_j01_34->n100_a_lob_j01_35 n100_a_lob_j01_37 VB;__ n100_a_lob_j01_36->n100_a_lob_j01_37 n100_a_lob_j01_39 PP-NIM n100_a_lob_j01_36->n100_a_lob_j01_39 n100_a_lob_j01_47 PP-NIM n100_a_lob_j01_36->n100_a_lob_j01_47 n100_a_lob_j01_37->n100_a_lob_j01_38 n100_a_lob_j01_40 P-ROLE n100_a_lob_j01_39->n100_a_lob_j01_40 n100_a_lob_j01_42 NP n100_a_lob_j01_39->n100_a_lob_j01_42 n100_a_lob_j01_40->n100_a_lob_j01_41 n100_a_lob_j01_43 NUM n100_a_lob_j01_42->n100_a_lob_j01_43 n100_a_lob_j01_45 NS n100_a_lob_j01_42->n100_a_lob_j01_45 n100_a_lob_j01_43->n100_a_lob_j01_44 n100_a_lob_j01_45->n100_a_lob_j01_46 n100_a_lob_j01_48 P-ROLE n100_a_lob_j01_47->n100_a_lob_j01_48 n100_a_lob_j01_50 NP n100_a_lob_j01_47->n100_a_lob_j01_50 n100_a_lob_j01_48->n100_a_lob_j01_49 n100_a_lob_j01_51 IP-PPL n100_a_lob_j01_50->n100_a_lob_j01_51 n100_a_lob_j01_54 N n100_a_lob_j01_50->n100_a_lob_j01_54 n100_a_lob_j01_56 PP n100_a_lob_j01_50->n100_a_lob_j01_56 n100_a_lob_j01_52 VVN;__ n100_a_lob_j01_51->n100_a_lob_j01_52 n100_a_lob_j01_52->n100_a_lob_j01_53 n100_a_lob_j01_54->n100_a_lob_j01_55 n100_a_lob_j01_57 P-ROLE n100_a_lob_j01_56->n100_a_lob_j01_57 n100_a_lob_j01_59 NP n100_a_lob_j01_56->n100_a_lob_j01_59 n100_a_lob_j01_57->n100_a_lob_j01_58 n100_a_lob_j01_60 D n100_a_lob_j01_59->n100_a_lob_j01_60 n100_a_lob_j01_62 ADJP n100_a_lob_j01_59->n100_a_lob_j01_62 n100_a_lob_j01_65 N n100_a_lob_j01_59->n100_a_lob_j01_65 n100_a_lob_j01_60->n100_a_lob_j01_61 n100_a_lob_j01_63 ADJ n100_a_lob_j01_62->n100_a_lob_j01_63 n100_a_lob_j01_63->n100_a_lob_j01_64 n100_a_lob_j01_65->n100_a_lob_j01_66 n100_a_lob_j01_67->n100_a_lob_j01_68 
( (IP-IMP (ILYR (ILYR (VB;__ Combine;{combine})
                      (NP-OB1 (D the;{the})
                              (NS solutions;{solution}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (Q;_nphd_ each;{each})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (NUM 200)
                                          (N ml;{ml})
                                          (N polythene;{polythene})
                                          (NS bottles;{bottle}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VB;__ dilute;{dilute})
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (NUM 2)
                                         (NS litres;{litre})))
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (IP-PPL (VVN;__ distilled;{distil}))
                                         (N water;{water})
                                         (PP (P-ROLE in;{in})
                                             (NP (D a;{a})
                                                 (ADJP (ADJ polythene;{polythene}))
                                                 (N bottle;{bottle}))))))))
          (PUNC .))
  (ID 100_a_lob_j01))