the slab is a Benedictine that does spring-clean.
sent1: the slab does spring-clean and lobs Lasso.
sent1 -> int1: the slab does spring-clean.;
$hypothesis$ = the slab is a Benedictine that does spring-clean. ; $context$ = sent1: the slab does spring-clean and lobs Lasso. ; $proof$ = 
sent1 -> int1: the slab does spring-clean.; __UNKNOWN__