Assertion: deduction | /r/HasProperty | step
Facets:
Source sentences:
text: Deduction is a step where one removes the most recent hypothesis (still available) and prefixes it to the previous step.