Вопрос: Синтаксис запроса спецификации для сущностей ManyToMany

Question

Я хочу найти все объекты класса A (класс A имеет отношение «многие ко многим» с классом B), которые имеют по крайней мере один объект из набора объектов класса B с определенным значением в поле.

Я искал по интернету и документации, хотя я могу обойтись, составив список счетов, которые описывает Сводка, но мне было любопытно, смогу ли я написать с чистой Спецификацией.

@ManyToMany(mappedBy = "A.name")
 public class A {
   private Set<B> b; 
 }

@JoinTable(name = "AB",
joinColumns = {@JoinColumn(name = "B_id", referencedColumnName = "id")},                 
inverseJoinColumns ={@JoinColumn(name= "A_id",referencedColumnName="id")})
@ManyToMany(cascade = {CascadeType.PERSIST, CascadeType.MERGE})
 public class B
 {
     private Object certainField;
     private Set<A> a;
 }

 public static Specification<A> hasB(Set<B> b) {
     return (a, cq, cb) -> {

         //I want to find all the Objects<A> which have an Element B with 
        // CertainField.equals(aValue);
       //     I find it hard to understand the syntax and i find no clue how 
     // to 
    //     make it work. 

    };
}