Assertion list
lace wig (subgroup of wig ) → HasProperty
Results from Ascent++: 3
lace wig → HasProperty → expensive 0.75
lace wig → HasProperty → delicate 0.41
lace wig → HasProperty → lightweight 0.23