Assertion list for term "differentiate through specializations".
Results from Ascent++: 1
companion → CapableOf → differentiate through specializations 0.25