Assertion list
uv filter (subgroup of filter ) → MadeOf
Results from Ascent++: 1
uv filter → MadeOf → the type 0.30