A : A x | y