Assertion list
source package (subgroup of package ) → CapableOf
Results from Ascent++: 1
source package → CapableOf → compile fine 0.16