Filtering for trait K7 equal 9