Assertion list
part (aspect of implant ) → HasProperty
Results from Ascent++: 2
part → HasProperty → visible 0.41
part → HasProperty → small 0.16