Assertion list for term "support the district court's construction".

Results from Ascent++: 1
specification CapableOfsupport the district court's construction 0.27