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