is_downstream_of_sequence_of
x is downstream of the sequence of y iff either (1) x and y have sequence units, and all units of x are downstream of all units of y, or (2) x and y are sequence units, and x is either immediately downstream of y, or transitively downstream of y.
RO:0002527
does_not_overlap_sequence_of
is_a