% 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. %