A formalization of one of the main claims of "ALS-implicated protein TDP-43 sustains levels of STMN2, a mediator of motor neuron growth and repair" by Klim et al. 20191.

Klim et al. claimed in previous work that the protein TDP-43 generally contributes to the transcription of STMN2 in human motor neurons. We present here a formalization of that claim, stating that all things of class “TAR DNA binding protein” that are in the context of a thing of class “human motor neuron” can generally have a relation of type “contributes to” to a thing of class “transcription of stmn2” in the same context.