:- expects_dialect(lps).

maxTime(10).

events to(_Agent,_Right), future(_,_).

future(RightA,RightB) from _Begin to _End if
	to(holder,RightA) from T,  to(counterParty,RightB) from T.

% we need to discover that the consequent is doomed to fail, given the following observations
if true then 
	future("1 round lot pork bellies", usd(1500)) from 3 to 7.

% observe to(holder,"1 round lot pork bellies") from 8.
observe to(counterParty,usd(1500)) from 5.