Lines Matching defs:deduction