%%
%% See http://hakank.org/jgap/boyles_law.conf
%% 
%% Boyles law: PV = P*V  (V2 = V1*V0)
%%
% Note that it's floats which is not very well handled by Popper.
%
pos(f(1.0,29.750,29.750)).
pos(f(1.5,19.125,28.688)).
pos(f(2.0,14.375,28.750)).
pos(f(3.0,9.500,28.500)).
pos(f(4.0,7.125,28.500)).
pos(f(5.0,5.625,28.125)).
pos(f(6.0,4.875,29.250)).
pos(f(7.0,4.250,29.750)).
pos(f(8.0,3.750,30.000)).
pos(f(9.0,3.375,30.375)).
pos(f(10.0,3.000,30.000)).
pos(f(12.0,2.625,31.500)).
pos(f(14.0,2.250,31.500)).
pos(f(16.0,2.000,32.000)).
pos(f(18.0,1.875,33.750)).
pos(f(20.0,1.750,35.000)).
pos(f(24.0,1.500,36.000)).
pos(f(28.0,1.375,38.500)).
pos(f(32.0,1.250,40.000)).