We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory. formulas describe protein structures and dynamic changes. They can be composed in order to add or remove static and dynamic observations. https://www.hindigyanvishv.com/