Assertion list
lego brick (subgroup of brick ) → HasProperty
Results from Ascent++: 1
lego brick → HasProperty → compatible 0.59