Assertion list
putty (primary) → HasA

Results from Ascent++: 1
puttyHasA asbestos 0.16