"x"("t") y "a", "a", ...