diff --git a/examples/mas/c/agent.lps b/examples/mas/c/agent.lps
index 07e3c3a..ced56be 100644
--- a/examples/mas/c/agent.lps
+++ b/examples/mas/c/agent.lps
@@ -1,7 +1,7 @@
 processId(Agent), wantToBuy(Agent, Item, T1, T2) ->
   itemPrice(Item, Price),
   money(Agent, Amount, T3),
-  loanIfNotEnough(Agent, Price, Amount, T3, T4),
+  loanIfNotEnough(Agent, Price, Amount) from T3 to T4,
   buy(Agent, Item, T4, T5).
 
 processId(Self), borrow(Borrower, Self, Amount, T1, T2) ->
diff --git a/examples/mas/c/main.lps b/examples/mas/c/main.lps
index e05ad16..eb54e94 100644
--- a/examples/mas/c/main.lps
+++ b/examples/mas/c/main.lps
@@ -21,10 +21,10 @@ observe(wantToBuy(alice, cereal), 3, 4).
 %% ---------------------
 % This section would be better modelled in the agent file
 % but because of the duplication issues, i'm leaving it here for now.
-loanIfNotEnough(Agent, Price, Amount, T, T) <-
+loanIfNotEnough(Agent, Price, Amount) from T1 to T2 <-
   Price <= Amount.
 
-loanIfNotEnough(Agent, Price, Amount, T1, T2) <-
+loanIfNotEnough(Agent, Price, Amount) from T1 to T2 <-
   Price > Amount,
   consult(_, Peer),
   % Peer != Agent,