Variables: a, b, c
Terms:
0>1
3>1
"1xx">1