directly_provides_input_for
p1 directly provides input for p2 iff there exists some c such that p1 has_output c and p2 has_input c
RO:0002412
immediately_causally_upstream_of
is_a
RO:0002414
transitively_provides_input_for
is_a