Assertion: lurch | /r/CapableOf | provide the software infrastructure
Facets:
Source sentences:
text: Lurch should provide the software infrastructure the mathematical community needs for validating rigorous mathematics.