?1 is even


exists x such that x is even


a


aa a


a b


abcd is string


100 is integer


12.4 is float


xyz is string