Preceding implies Inclosion of Segments of Auxiliary Relation