Какие противоречия?

Тип результата: 

ex("question",[])

Шаблон разработан в понятии: 
Тип аргументов: 

w("какие"),w("противоречия"),w("?")

Комментарий: 

Выдать все известные противоречия

Имя операции: 

all_inconsists