Translating from Logic to English Example: PL ={married, younger-than, equal} all binary VL={x,y,z} ranging over all parents CL={bill, john, george, mary} FNL={father, mother, first-child} -all unary Connectives,,,, Quantifiers,, Brackets married(mary,john) translates to Mary is married to John equal(father(bill),george) translates to George is the father of Bill equal(mother(mother(bill)),mary) translates to Mary is the maternal grandmother of Bill (equal(mother(x),y) equal(father(x),y)) translates to y is a parent of x x y(married(x,y) married(y,x)) translates to for any parents x and y if x is married to y then y is married to x x y(equal(mother(x),y) translates to everyone has a mother
{}