Assertion: lurch | /r/CapableOf | alleviate many steps of tedious proving
Facets:
Source sentences:
text: Lurch already has such a rule, alleviating many steps of tedious proving about basic algebra (and arithmetic, trigonometry, calculus, etc.).