Assertion list
software license (subgroup of license ) → IsA
Results from Ascent++: 1
software license → IsA → granted hereunder 0.51