In short, we provide a beefed up definition of #DisCoCat where the meaning of words is given not by a #diagram but by a diagram-valued function.
As a concrete example, we take #CharlesSandersPeirce 's existential graphs to go from the #Lambek calculus to logic, i.e. #Montague grammar with diagrams!