. "Logical axioms to be added after the relevant branch of GO is MIREOTed in" . . "Holds between protein a (a transcription factor) and DNA element b if and only if a diminishes the process of transcription of b." . "represses expression of" .