Assertion list
description (primary) → MadeOf
Results from Ascent++: 2
description → MadeOf → case 0.38
description → MadeOf → method 0.37