Assertion list
mosaic wart (subgroup of wart ) → ReceivesAction

Results from Ascent++: 1
mosaic wartReceivesAction difficult to treat 0.59