allen_union function

Union of Allen Relations