Assertion list for term "follow in similar way".

Results from Ascent++: 1
proof CapableOffollow in similar way 0.25