Assertion list
bow tie (subgroup of necktie ) → HasProperty
Results from Ascent++: 1
bow tie → HasProperty → perfect 0.16