Assertion list
good hypothesis (subgroup of hypothesis ) → CapableOf

Results from Ascent++: 1
good hypothesisCapableOf define variable 0.54