Filtering for trait symbol equal Kr