This paper extends Shin's and Hammer'swork by bringing in the names of individuals within Venn diagram and proving thereby the soundness and completeness results. History: Beginning with Euler (1772) diagrams have evolved in the hands of Venn(1880) and Peirce(1896). Each had the aim of making the relationship between sets and binary properties of emptiness and non-emptiness more and more clear. In recent years Shin (1994). Hammer(1995) and House et al(2001) have regenerated interest in diagrams by formalizing the logic of diagrams.