Assertion list for term "cover entire floor".

Results from Ascent++: 1
choreography CapableOfcover entire floor 0.33