def p_termlist_specialOps(t):
'''termlist : PLUS
| GT
| GTE
| LT
| LTE '''
t[0] = [kb.constantFor(t[1])]
def p_termlist_specialOps(t):
'''termlist : PLUS
| GT
| GTE
| LT
| LTE '''
t[0] = [kb.constantFor(t[1])]
def p_term_quotedstring(t):
'''term : QUOTEDSTRING'''
t[0] = kb.constantFor(t[1])
def p_term_quotedstrin(t):
'''term : QUOTEDSTRING'''
t[0] = kb.constantFor(t[1])
