How do you represent All dogs have tails ?

• A. x: dog(x) hastail(x)
• B. x: dog(x) hastail(y)
• C. x: dog(y) hastail(x)
• D. x: dog(x) has tail(x)