Before revision: It is based on the situation calculs .
After revision: It is based on the situation calculus .