Assertion list for term "use one large slabdoor".

Results from Ascent++: 1
elevator CapableOfuse one large slabdoor 0.31