Schulman, L. J. The Quantifier Semigroup for Bipartite Graphs. Electron. J. Combin. 2011, 18, P123.