partial_sequence(one).
partial_sequence(two).
partial_sequence(empty).