Assertion list for term "enclose the folded roof".

Results from Ascent++: 1
chauffeur CapableOfenclose the folded roof 0.16