Немонотонный динамический оракул

Подтвердите удаление

Вы уверены, что хотите удалить эту сущность? Non Monotonic Dynamic Oracle?