Зеленым отмечены синонимы, присутствующие в словаре. Красным отмечены синонимы, отсутствующие в словаре.
Зеленым отмечены антонимы, присутствующие в словаре. Красным отмечены антонимы, отсутствующие в словаре.
Условия и ограничения могут приводиться в параметрическом или неформализованном виде.
Источник: Основы системного проектирования