Assertion list
software application (subgroup of application ) → IsA
Results from Ascent++: 1
software application → IsA → flash-based application 0.25