def p_query_term(t): 'query : TERM' t[0] = tf_score.get_scored_list(t[1])
def p_query_terms(t): 'query : TERM query' t[0] = tf_score.merge_or(tf_score.get_scored_list(t[1]), t[2])