Assertion list
cc license (subgroup of license ) → HasProperty
Results from Ascent++: 1
cc license → HasProperty → compatible 0.25