«Сделка действительна?» — вопрос, которого в кодексе нет

Без фактов и без статьи движок отказывает. Он не говорит, что сделка действительна и не говорит, что нет: такого предиката в формализованном кодексе нет.

Мы в прошлом году подписали договор поставки. По Гражданскому кодексу эта сделка действительна?

«Действительна» — слово, под которое легко подставить своё имя. Я не стану его выдумывать: отдам движку ровно так, как вы сказали, и покажу, что он делает с вопросом, которого в модели нет.

Отказ: предиката нет. Это не «да» и не «нет». Формализованный кодекс не выносит приговор «сделка действительна» одним словом. Он спрашивает уже: ничтожна ли она, признана ли судом, заявлена ли давность. Подставить своё имя вместо кодекса движок не даёт.