FOPC (First Order Predicate Calculus) & Dialog Systems