Конструкция "Если А истинно, то В истинно", является

  • слотом
  • фреймом
  • продукцией
  • семантической сетью

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.