Фильтровать в Gmail по участнику группы Google

Сценарий:

frank@example.comиalice@example.comпринадлежат к группе Google. Оба они отправляют важные записки всей компании.

До сегодняшнего дня мне удавалось искать важные сообщения отдела кадров, фильтруя в Gmail этот фильтр:

      from:frank@example.com OR from:alice@example.com

Проблема в том, что в отделе кадров появился новый сотрудник.bob@example.com. Он также рассылает почту всем сотрудникам, он тоже принадлежит к группе.

Я ненавижу ухаживать за своими фильтрами. Я ищу фильтр, который позволит мне найти электронную почту от любого, кто принадлежит к группе. Я искал что-то вроде этого:

      from:hr@example.com

Однако это не работает, с этим фильтром я получаю нулевые результаты.

Кто-нибудь знает, есть ли способ фильтровать электронную почту по членам групп Google в Gmail?

Примечание. Я знаю, что теоретически они могут отправлять электронную почту, используя в качестве отправителя группу.hr@example.com. Однако они этого не делают, и я не призываю их измениться.

Спасибо за вашу помощь.