//************ Declarations of Types and Constants ******************* person = {James, Stefan} town = {Freiburg, Yorkshire, Austin} hood_type = {Bad, Average, Good} //************ Predicate Declarations (including paramter types) ******************* lives_in(person, town) neighbourhood(person, hood_type!) burglary(person) alarm(person) tornado(town) //************ Formulas ******************* 2.2 burglary(x) => alarm(x) 2.2 lives_in(x,y) ^ tornado(y) => alarm(x) -0.8 neighbourhood(x, Good) => burglary(x) -0.4 neighbourhood(x, Average) => burglary(x) 0.4 neighbourhood(x, Bad) => burglary(x)