Symbol: expr_truth_value