Literal
data
Literal
a
variable
oppositeLiteral
isPositive
isNegative