Assertion list for term "drive for layup".

Results from Ascent++: 1
curry CapableOfdrive for layup 0.33