%H IR  <- Very good!
%rule

:-unknown(P,fail).
%15(1)
become_effective(offer(A,B,C),T1):-
    	reach(offer(A,B,C),B,T1),
        \+(become_effective(withdrawl(A,B,offer(A,B,C)),T2)).
%15(2)
become_effective(withdrawl(A,B,offer(A,B,C)),T2):-
        reach(withdrawl(A,B,offer(A,B,C)),B,T2),
        \+((reach(offer(A,B,C),B,T1),T1@<T2)).

%16(1)
become_effective(revocation(A,B,offer(A,B,C)),T2):-
        reach(revocation(A,B,offer(A,B,C)),B,T2),
        \+((dispatch(acceptance(B,A,offer(A,B,C)),A,T1),T1@=<T2)).

become_null(offer(A,B,C),T):-
        become_effective(revocation(A,B,offer(A,B,C)),T)


%18(2)
become_effective(acceptance(B,A,C),T3):-
    reach(acceptance(B,A,C),A,T3).
    \+((become_null(offer(A,B,C),T),T@=<T3)).
   
%23
is_concluded(contract(A,B,C),T3):-
    become_effective(acceptance(B,A,offer(A,B,C)),T3),
)    become_effective(offer(A,B,C),T).
        
before(T1,T2):-
    T1@<T2.

%fact(3d)

reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')),bernard,t0408).
reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine, '$50000'))),anzai,t0410).
reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine, '$50000'))),bernard,t0409).

/*

 承諾効力発生(T)：−
   承諾を発信している(T1),
   申し込み効力がある(T),    %H 「承諾到達」の後に置くとよい。
   承諾が到達している(T).

 申し込み効力がある(T)：−
   申し込み効力発生(T1),     %H  「,T1@=<T」を追加
   取消効力不発生(T2).       %H 「not((申込効力消滅,T2),T2@=<T))
 
*/

%%H 申込者が、「取消」と言わないで、「撤回」と言っているのですが、15(2)の撤回ではなく、それを16(1)の「取消」であるとするのは、推論に基づいている筈です。そしてそのためには、適用されるルールがあるはずです。それはどのようなルールでしょうか。