Assertion list
new concept (subgroup of concept ) → HasProperty

Results from Ascent++: 1
new conceptHasProperty incompatible 0.25