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.pomyslnaszycie.com/rivet-sweat-charcoal-on-sale/