Assertion list
software license (subgroup of license ) → HasProperty
Results from Ascent++: 2
software license → HasProperty → perpetual 0.32
software license → HasProperty → valid 0.32