Encompassing: Concepts and Implementation