

updateSDE(negotiation_3, 0, 10) :-
  assertz(happensAtIE( present_quote(1, 6, book6, 10), 1 )),
  assertz(happensAtIE( present_quote(1, 6, book6, 10), 3 )),
  assertz(happensAtIE( present_quote(1, 6, book6, 10), 4 )),
  assertz(happensAtIE( present_quote(1, 6, book6, 10), 6 )),
  assertz(happensAtIE( present_quote(1, 6, book6, 10), 8 )),
  assertz(happensAtIE( present_quote(1, 6, book6, 8), 9 )),
  assertz(happensAtIE( present_quote(1, 6, book6, 4), 10 )).

updateSDE(negotiation_3, 10, 20) :-
  assertz(happensAtIE( present_quote(1, 6, book6, 10), 13 )).


