Assertion list
open adoption (subgroup of adoption ) → CapableOf
Results from Ascent++: 1
open adoption → CapableOf → eliminate the need 0.25