Man ^ Intelligent ------> knowledge ^ has
option A and B both are same .
there is no y term in if condition so we can move y to adjacent of for all x.
∀x((Man(x)∧Intelligent (x))→∃y(Knowledge(y) ∧ has(x,y)) =
∀x∃y((Man(x)∧Intelligent (x))→Knowledge (y) ∧ has(x,y))