Assertion list
custom software (subgroup of software ) → IsA
Results from Ascent++: 1
custom software → IsA → software 0.25