Assertion list
licence (aspect of driver ) → HasProperty
Results from Ascent++: 1
licence → HasProperty → valid 0.71