469 527 599 40. Translate these system specifications into English, where the predicate S(x, y) is "x is in state y" and where the domain for x and y consists of all systems and all possible states, respectively. a) ExS(x, open) b) Vx(S(x, malfunctioning) v S(x, diagnostic)) c) x(x, open) v 3xx, diagnostic) d) Ex-S(x, available) e) Vx-S(x, working) 1 is "Print job iis lost" and Of is "Print