qualified lead subgroup of lead, 3 assertions

IsA 1
lead 0.25