Assertion list
proprietary software (subgroup of software ) → IsA
Results from Ascent++: 2
proprietary software → IsA → software 0.68
proprietary software → IsA → non-free software 0.16