Versuch einer Antwort III

Vorschlag:

    "Das System":
  1. Sorgt dafür, dass die Sätze von Dokumententypen, deren 'aktive' Persistenz garantiert wird, nicht deckungsleich sind.