Assertion list
maximum weight (subgroup of weight ) → IsA

Results from Ascent++: 1
maximum weightIsA 32 kilograms 0.43