Assertion list for term "v1 to v4".

Results from Ascent++: 1
conductor CapableOfv1 to v4 0.29