A Diagrammatic Calculus for a Functional Model of Natural Language Semantics