renin -> arteriolar smooth muscle contraction

Holds between c and p if and only if c is capable of some activity a, and a positively regulates p.

http://purl.obolibrary.org/obo/ro/docs/causal-relations