Samheiti: deductive reasoning, discount, entailment, implication, price reduction, subtraction, synthesis, tax deduction, tax write-off