Assertion list
model train (subgroup of train ) → CapableOf

Results from Ascent++: 1
model trainCapableOf become more affordable 0.68