Assertion list
software (primary) → IsA
Results from Ascent++: 2
software → IsA → product 0.40
software → IsA → machine code 0.36