Filtering for trait K17 equal 9