1 “.... The mathematical model, known as the "Fluent Calculus,'' describes how to use classical first-order logic to set up...”