Assertion list
free software (subgroup of software ) → IsA
Results from Ascent++: 2
free software → IsA → software 0.43
free software → IsA → proprietary software 0.25