Lines Matching defs:symbolic_number