Creates the unimodal bipartite projects of existing-graph with
vertexes for each vertex of existing graph whose vertex-classifier is eq to vertex-class and where an edge existing between two vertexes of the graph if and only if they are connected to a shared vertex in the existing-graph.
| project-bipartite-graph < basic-graph > < t > < t > < t > |
| project-bipartite-graph < symbol > < t > < t > < t > |