Keep in mind two rules about writing formulas:

• Every universally quantified variable belongs in a rule
• Existentially quantified variables can be in the consequent of a rule or any other kind of statement. Existentially quantified variables that are not in a negated literal should not appear in the antecedent of a rule (except in very rare cases).

Language to Logic

• Every man has a dog
• Some people like broccoli
• All people that like broccoli hate ice cream
• Bill has a dog
• Dogs that lick Bill like Jane
• If someone likes dogs he or she likes some vegetable
• People who are sad or lonely like dogs
• Everyone who eats broccoli likes a dog or a cat
• People who like dogs or cats hate mice
• If it is raining I take my umbrella
• Anyone who has an umbrella is not wet
• Gorillas are primates
• Bill's father is Sue's father too
• Bill knows someone who likes broccoli
• Any person who has a dog doesn't have a cat
• No one eats broccoli
• Someone really likes broccoli
• If the moon is made of green cheese I'll be a monkey's uncle
• If wishes were horses the beggars would ride
• Tables have four legs
• Lawyers practice law
• John gave an apple to Susan
• Tenured professors have published many papers
• Mary has two feet
• Bill biked to the store on Tuesday
• When it's cold I wear a coat or a hat or both
• Only staff have access to this computer
• Access to campus is only for faculty, staff, students and people with a visitor's pass