Assertion: lurch | /r/HasAspect | a few shortcuts
Facets:
value: currently
type: TEMPORAL
Source sentences:
text: Currently Lurch has a few shortcuts for reducing the burden on the user to bubble things in his proof.