Stellt eine semantische Beziehung zwischen Beziehungen dar, die Bedingungen festlegt, die als wahr beizubehalten sind.