has input has output immediately causally upstream of provides input for https://wiki.geneontology.org/Provides_input_for directly provides input for (process to process) directly provides input for p provides input for q iff p is immediately causally upstream of q, and there exists some c such that p has_output c and q has_input c. transitively provides input for