Assertion list
proprietary software (subgroup of software ) → CapableOf
Results from Ascent++: 1
proprietary software → CapableOf → keep the source code 0.16