You are searching for subsumes