Assertion list for term "most involved".

Results from Ascent++: 1
joint HasPropertymost involved 0.20