Assertion list for term "split among multiple programs".

Results from Ascent++: 1
logic CapableOfsplit among multiple programs 0.30