Assertion list for term "be a segment of an array".

Results from Ascent++: 1
slice CapableOfbe a segment of an array 0.25