a: x^(2) / 4 > 1
b: 2 ≤ y
d: a
k: a(x) ∧ b(y)