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_1 r_0100_0001__Combine->z_000_100_a_lob_j01_1 [arg0] z_000_100_a_lob_j01_14 r_0100_0001__Combine->z_000_100_a_lob_j01_14 from [nim] 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_1, arg0).
arc(r_0100_0001__Combine, z_000_100_a_lob_j01_14, r_0100_0004__from_nim14).
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 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 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_0022__a_r_0100_0024__bottle a bottle r_0100_0023__polythene polythene r_0100_0022__a_r_0100_0024__bottle->r_0100_0023__polythene [attrib] r_0100_0020__water water 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_0014__dilute dilute r_0100_0014__dilute->r_0100_0020__water with [nim] z_000_100_a_lob_j01_1 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_0013__and and r_0100_0013__and->r_0100_0014__dilute [conj2] r_0100_0005__each_quant each [quant] r_0100_0013__and->r_0100_0005__each_quant [conj1] r_0100_0005__each_quant->z_000_100_a_lob_j01_14 [restriction] r_0100_0001__Combine Combine r_0100_0005__each_quant->r_0100_0001__Combine [scope] r_0100_0001__Combine->z_000_100_a_lob_j01_14 from [nim] r_0100_0001__Combine->z_000_100_a_lob_j01_1 [arg0] r_0100_0002__the_r_0100_0003__solutions the solutions r_0100_0001__Combine->r_0100_0002__the_r_0100_0003__solutions [arg1] 
fof(formula,axiom,
    ? [R_0100_0016__2_R_0100_0017__LITRES,R_0100_0023__POLYTHENE,R_0100_0022__A_R_0100_0024__BOTTLE,R_0100_0020__WATER,Z_000_100_A_LOB_J01_1,R_0100_0014__DILUTE,R_0100_0013__AND,R_0100_0019__DISTILLED] :
      ( r_0100_0016__2_r_0100_0017__litres(R_0100_0016__2_R_0100_0017__LITRES)
      & r_0100_0023__polythene(R_0100_0023__POLYTHENE)
      & z_000_100_a_lob_j01_1(Z_000_100_A_LOB_J01_1)
      & r_0100_0019__distilled(R_0100_0019__DISTILLED)
      & has_arg0(R_0100_0019__DISTILLED,R_0100_0020__WATER)
      & r_0100_0020__water(R_0100_0020__WATER)
      & has_r_0100_0021__in(R_0100_0020__WATER,R_0100_0022__A_R_0100_0024__BOTTLE)
      & r_0100_0022__a_r_0100_0024__bottle(R_0100_0022__A_R_0100_0024__BOTTLE)
      & has_attrib62(R_0100_0022__A_R_0100_0024__BOTTLE,R_0100_0023__POLYTHENE)
      & r_0100_0013__and(R_0100_0013__AND)
      & has_conj2(R_0100_0013__AND,R_0100_0014__DILUTE)
      & r_0100_0014__dilute(R_0100_0014__DILUTE)
      & has_arg0(R_0100_0014__DILUTE,Z_000_100_A_LOB_J01_1)
      & has_r_0100_0018__with_nim50(R_0100_0014__DILUTE,R_0100_0020__WATER)
      & has_r_0100_0015__to_nim42(R_0100_0014__DILUTE,R_0100_0016__2_R_0100_0017__LITRES)
      & ! [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_0007__the_r_0100_0008__200_r_0100_0009__ml_r_0100_0010__polythene_r_0100_0011__bottles(R_0100_0007__THE_R_0100_0008__200_R_0100_0009__ML_R_0100_0010__POLYTHENE_R_0100_0011__BOTTLES)
            & z_000_100_a_lob_j01_14(Z_000_100_A_LOB_J01_14)
            & has_r_0100_0006__of(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_0002__THE_R_0100_0003__SOLUTIONS,R_0100_0001__COMBINE] :
              ( r_0100_0002__the_r_0100_0003__solutions(R_0100_0002__THE_R_0100_0003__SOLUTIONS)
              & r_0100_0001__Combine(R_0100_0001__COMBINE)
              & has_r_0100_0004__from_nim14(R_0100_0001__COMBINE,Z_000_100_A_LOB_J01_14)
              & has_arg0(R_0100_0001__COMBINE,Z_000_100_A_LOB_J01_1)
              & has_arg1(R_0100_0001__COMBINE,R_0100_0002__THE_R_0100_0003__SOLUTIONS) ) ) ) ).


n100_a_lob_j01 n100_a_lob_j01__1_1_1_1_1 Combine n100_a_lob_j01__1_1_1_2_1_1 the n100_a_lob_j01__1_1_1_2_2_1 solutions n100_a_lob_j01__1_1_1_3_1_1 from n100_a_lob_j01__1_1_1_3_2_1_1 each n100_a_lob_j01__1_1_1_3_2_2_1_1 of n100_a_lob_j01__1_1_1_3_2_2_2_1_1 the n100_a_lob_j01__1_1_1_3_2_2_2_2_1 200 n100_a_lob_j01__1_1_1_3_2_2_2_3_1 ml n100_a_lob_j01__1_1_1_3_2_2_2_4_1 polythene n100_a_lob_j01__1_1_1_3_2_2_2_5_1 bottles n100_a_lob_j01__1_1_2_1 , n100_a_lob_j01__1_1_3_1_1 and n100_a_lob_j01__1_1_3_2_1_1 dilute n100_a_lob_j01__1_1_3_2_2_1_1 to n100_a_lob_j01__1_1_3_2_2_2_1_1 2 n100_a_lob_j01__1_1_3_2_2_2_2_1 litres n100_a_lob_j01__1_1_3_2_3_1_1 with n100_a_lob_j01__1_1_3_2_3_2_1_1_1 distilled n100_a_lob_j01__1_1_3_2_3_2_2_1 water n100_a_lob_j01__1_1_3_2_3_2_3_1_1 in n100_a_lob_j01__1_1_3_2_3_2_3_2_1_1 a n100_a_lob_j01__1_1_3_2_3_2_3_2_2_1_1 polythene n100_a_lob_j01__1_1_3_2_3_2_3_2_3_1 bottle n100_a_lob_j01__1_2_1 . n100_a_lob_j01__1 IP-IMP n100_a_lob_j01__1_1 ILYR n100_a_lob_j01__1->n100_a_lob_j01__1_1 n100_a_lob_j01__1_2 PUNC n100_a_lob_j01__1->n100_a_lob_j01__1_2 n100_a_lob_j01__1_1_1 ILYR n100_a_lob_j01__1_1->n100_a_lob_j01__1_1_1 n100_a_lob_j01__1_1_2 PUNC n100_a_lob_j01__1_1->n100_a_lob_j01__1_1_2 n100_a_lob_j01__1_1_3 CONJP n100_a_lob_j01__1_1->n100_a_lob_j01__1_1_3 n100_a_lob_j01__1_1_1_1 VB;__ n100_a_lob_j01__1_1_1->n100_a_lob_j01__1_1_1_1 n100_a_lob_j01__1_1_1_2 NP-OB1 n100_a_lob_j01__1_1_1->n100_a_lob_j01__1_1_1_2 n100_a_lob_j01__1_1_1_3 PP-NIM n100_a_lob_j01__1_1_1->n100_a_lob_j01__1_1_1_3 n100_a_lob_j01__1_1_1_1->n100_a_lob_j01__1_1_1_1_1 n100_a_lob_j01__1_1_1_2_1 D n100_a_lob_j01__1_1_1_2->n100_a_lob_j01__1_1_1_2_1 n100_a_lob_j01__1_1_1_2_2 NS n100_a_lob_j01__1_1_1_2->n100_a_lob_j01__1_1_1_2_2 n100_a_lob_j01__1_1_1_2_1->n100_a_lob_j01__1_1_1_2_1_1 n100_a_lob_j01__1_1_1_2_2->n100_a_lob_j01__1_1_1_2_2_1 n100_a_lob_j01__1_1_1_3_1 P-ROLE n100_a_lob_j01__1_1_1_3->n100_a_lob_j01__1_1_1_3_1 n100_a_lob_j01__1_1_1_3_2 NP n100_a_lob_j01__1_1_1_3->n100_a_lob_j01__1_1_1_3_2 n100_a_lob_j01__1_1_1_3_1->n100_a_lob_j01__1_1_1_3_1_1 n100_a_lob_j01__1_1_1_3_2_1 Q;_nphd_ n100_a_lob_j01__1_1_1_3_2->n100_a_lob_j01__1_1_1_3_2_1 n100_a_lob_j01__1_1_1_3_2_2 PP n100_a_lob_j01__1_1_1_3_2->n100_a_lob_j01__1_1_1_3_2_2 n100_a_lob_j01__1_1_1_3_2_1->n100_a_lob_j01__1_1_1_3_2_1_1 n100_a_lob_j01__1_1_1_3_2_2_1 P-ROLE n100_a_lob_j01__1_1_1_3_2_2->n100_a_lob_j01__1_1_1_3_2_2_1 n100_a_lob_j01__1_1_1_3_2_2_2 NP n100_a_lob_j01__1_1_1_3_2_2->n100_a_lob_j01__1_1_1_3_2_2_2 n100_a_lob_j01__1_1_1_3_2_2_1->n100_a_lob_j01__1_1_1_3_2_2_1_1 n100_a_lob_j01__1_1_1_3_2_2_2_1 D n100_a_lob_j01__1_1_1_3_2_2_2->n100_a_lob_j01__1_1_1_3_2_2_2_1 n100_a_lob_j01__1_1_1_3_2_2_2_2 NUM n100_a_lob_j01__1_1_1_3_2_2_2->n100_a_lob_j01__1_1_1_3_2_2_2_2 n100_a_lob_j01__1_1_1_3_2_2_2_3 N n100_a_lob_j01__1_1_1_3_2_2_2->n100_a_lob_j01__1_1_1_3_2_2_2_3 n100_a_lob_j01__1_1_1_3_2_2_2_4 N n100_a_lob_j01__1_1_1_3_2_2_2->n100_a_lob_j01__1_1_1_3_2_2_2_4 n100_a_lob_j01__1_1_1_3_2_2_2_5 NS n100_a_lob_j01__1_1_1_3_2_2_2->n100_a_lob_j01__1_1_1_3_2_2_2_5 n100_a_lob_j01__1_1_1_3_2_2_2_1->n100_a_lob_j01__1_1_1_3_2_2_2_1_1 n100_a_lob_j01__1_1_1_3_2_2_2_2->n100_a_lob_j01__1_1_1_3_2_2_2_2_1 n100_a_lob_j01__1_1_1_3_2_2_2_3->n100_a_lob_j01__1_1_1_3_2_2_2_3_1 n100_a_lob_j01__1_1_1_3_2_2_2_4->n100_a_lob_j01__1_1_1_3_2_2_2_4_1 n100_a_lob_j01__1_1_1_3_2_2_2_5->n100_a_lob_j01__1_1_1_3_2_2_2_5_1 n100_a_lob_j01__1_1_2->n100_a_lob_j01__1_1_2_1 n100_a_lob_j01__1_1_3_1 CONJ n100_a_lob_j01__1_1_3->n100_a_lob_j01__1_1_3_1 n100_a_lob_j01__1_1_3_2 ILYR n100_a_lob_j01__1_1_3->n100_a_lob_j01__1_1_3_2 n100_a_lob_j01__1_1_3_1->n100_a_lob_j01__1_1_3_1_1 n100_a_lob_j01__1_1_3_2_1 VB;__ n100_a_lob_j01__1_1_3_2->n100_a_lob_j01__1_1_3_2_1 n100_a_lob_j01__1_1_3_2_2 PP-NIM n100_a_lob_j01__1_1_3_2->n100_a_lob_j01__1_1_3_2_2 n100_a_lob_j01__1_1_3_2_3 PP-NIM n100_a_lob_j01__1_1_3_2->n100_a_lob_j01__1_1_3_2_3 n100_a_lob_j01__1_1_3_2_1->n100_a_lob_j01__1_1_3_2_1_1 n100_a_lob_j01__1_1_3_2_2_1 P-ROLE n100_a_lob_j01__1_1_3_2_2->n100_a_lob_j01__1_1_3_2_2_1 n100_a_lob_j01__1_1_3_2_2_2 NP n100_a_lob_j01__1_1_3_2_2->n100_a_lob_j01__1_1_3_2_2_2 n100_a_lob_j01__1_1_3_2_2_1->n100_a_lob_j01__1_1_3_2_2_1_1 n100_a_lob_j01__1_1_3_2_2_2_1 NUM n100_a_lob_j01__1_1_3_2_2_2->n100_a_lob_j01__1_1_3_2_2_2_1 n100_a_lob_j01__1_1_3_2_2_2_2 NS n100_a_lob_j01__1_1_3_2_2_2->n100_a_lob_j01__1_1_3_2_2_2_2 n100_a_lob_j01__1_1_3_2_2_2_1->n100_a_lob_j01__1_1_3_2_2_2_1_1 n100_a_lob_j01__1_1_3_2_2_2_2->n100_a_lob_j01__1_1_3_2_2_2_2_1 n100_a_lob_j01__1_1_3_2_3_1 P-ROLE n100_a_lob_j01__1_1_3_2_3->n100_a_lob_j01__1_1_3_2_3_1 n100_a_lob_j01__1_1_3_2_3_2 NP n100_a_lob_j01__1_1_3_2_3->n100_a_lob_j01__1_1_3_2_3_2 n100_a_lob_j01__1_1_3_2_3_1->n100_a_lob_j01__1_1_3_2_3_1_1 n100_a_lob_j01__1_1_3_2_3_2_1 IP-PPL n100_a_lob_j01__1_1_3_2_3_2->n100_a_lob_j01__1_1_3_2_3_2_1 n100_a_lob_j01__1_1_3_2_3_2_2 N n100_a_lob_j01__1_1_3_2_3_2->n100_a_lob_j01__1_1_3_2_3_2_2 n100_a_lob_j01__1_1_3_2_3_2_3 PP n100_a_lob_j01__1_1_3_2_3_2->n100_a_lob_j01__1_1_3_2_3_2_3 n100_a_lob_j01__1_1_3_2_3_2_1_1 VVN;__ n100_a_lob_j01__1_1_3_2_3_2_1->n100_a_lob_j01__1_1_3_2_3_2_1_1 n100_a_lob_j01__1_1_3_2_3_2_1_1->n100_a_lob_j01__1_1_3_2_3_2_1_1_1 n100_a_lob_j01__1_1_3_2_3_2_2->n100_a_lob_j01__1_1_3_2_3_2_2_1 n100_a_lob_j01__1_1_3_2_3_2_3_1 P-ROLE n100_a_lob_j01__1_1_3_2_3_2_3->n100_a_lob_j01__1_1_3_2_3_2_3_1 n100_a_lob_j01__1_1_3_2_3_2_3_2 NP n100_a_lob_j01__1_1_3_2_3_2_3->n100_a_lob_j01__1_1_3_2_3_2_3_2 n100_a_lob_j01__1_1_3_2_3_2_3_1->n100_a_lob_j01__1_1_3_2_3_2_3_1_1 n100_a_lob_j01__1_1_3_2_3_2_3_2_1 D n100_a_lob_j01__1_1_3_2_3_2_3_2->n100_a_lob_j01__1_1_3_2_3_2_3_2_1 n100_a_lob_j01__1_1_3_2_3_2_3_2_2 ADJP n100_a_lob_j01__1_1_3_2_3_2_3_2->n100_a_lob_j01__1_1_3_2_3_2_3_2_2 n100_a_lob_j01__1_1_3_2_3_2_3_2_3 N n100_a_lob_j01__1_1_3_2_3_2_3_2->n100_a_lob_j01__1_1_3_2_3_2_3_2_3 n100_a_lob_j01__1_1_3_2_3_2_3_2_1->n100_a_lob_j01__1_1_3_2_3_2_3_2_1_1 n100_a_lob_j01__1_1_3_2_3_2_3_2_2_1 ADJ n100_a_lob_j01__1_1_3_2_3_2_3_2_2->n100_a_lob_j01__1_1_3_2_3_2_3_2_2_1 n100_a_lob_j01__1_1_3_2_3_2_3_2_2_1->n100_a_lob_j01__1_1_3_2_3_2_3_2_2_1_1 n100_a_lob_j01__1_1_3_2_3_2_3_2_3->n100_a_lob_j01__1_1_3_2_3_2_3_2_3_1 n100_a_lob_j01__1_2->n100_a_lob_j01__1_2_1 
( (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))