Abstract
                                                                        Graph grammars, being a natural extension of string grammars as well  as tree grammars, are highly expressive as well as powerful enough to capture the  generative structure of a wide variety of scenarios - both simple and complex. But,  unfortunately, we do not find many instances which leverage this power graph  grammars provide us. Most of the graph grammars available so far are either toy  grammars or limited to addressing highly specialized problems. In this paper, we  present Vaiśeṣika Graph Grammar (VGG) system, which is as wide as any graph  grammar can get i.e., a grammar for reality as theorized in Vaiśeṣika - the  foundational ontology found in Indian analytic tradition. This paper extends the  work presented in [1]. In [1], the generative as well as the interpretation rules of  this system were presented. Here, apart from briefly discussing some of these  rules, we also present a parser for such a system which makes it extremely  powerful in terms of its ability to classify an input graph as a valid Vaiśeṣika graph  or an invalid one which, in itself, is an immensely significant breakthrough for any  ontological application. Apart from that, we also present a verification mechanism  to verify the interpretations of graphs generated by the generative rules. This is  done, at least statistically, if not formally, to give a statistical proof of the  soundness of the system (that every generated graph has at least one Vaiśeṣika