% LIBERTARIANS CANT ANSWER THIS
% -- hrffr

% len if my neighbor has a big pond full of water
pond(water,full).
pond(water,empty).

neighbor(owns, pond(water,full)).
me(owns, pond(water,empty)).


% and I build a giant mirror
action(i,create,mirror).

% to evaporate it 
action(i,plan,rainfall).
action(i,evaporate,neighbor(owns,pond(water,full))).

% to create a big cloud that then
action(i,watch_rain_into,me(owns,pond(water,empty))).

% rains into my empty pond
action(i,watch,me(owns,pond(water,full))).

%
% is that theft?
%
% ---
%
% We must first define what is stealing:
%

people_moving_property_of_another_without_permission.
stealing :- people_moving_property_of_another_without_permission.

% Evaporation moves water, and with my planning of a rainfall, I stole my
% neighbor's pond water:

stole_pond_water :-
  action(i,plan,rainfall),
  action(i,evaporate,neighbor(owns,pond(water,full))),
  action(i,watch,me(owns,pond(water,full))).

% Which holds. QED.
%
% This analysis demonstrates that the "how" of the stealing doesn't matter for
% this case.
%