Lösen Implikation (Zentrale and Schreib_Berechtigung and Lese_Berechtigung) erfüllt (Zentrale and Schreib_Berechtigung) als Mensch offensichtlich zu erkennen aber: der Computer soll dies prüfen