Assertion list
product key (subgroup of key ) → HasProperty
Results from Ascent++: 4
product key → HasProperty → legitimate 0.58
product key → HasProperty → necessary 0.57
product key → HasProperty → invalid 0.52
product key → HasProperty → official 0.42