downed power line subgroup of power line, 2 assertions