(Some x) y z