To Zanoza: этот базовый вариант - 2 недели
To Diplomat:
1) Ну разумеется, там же пока всего 7 модулей (см список вначале).
Их функционал такие конструкции не включает.
upd: в этом случае, видимо, порядок действий будет такой:
Корова - травоядное [корова -(это)-> травоядное]
Травоядное - не хищное [травоядное -(не)-> хищное]
Корова - хищное [корова -(это)-> хищное, удаляется (корова -(это)-> травоядное), т. к. (травоядное -(не)-> хищное)]
2) Текст писать нужно в нижнем регистре.
upd: да, кстати, точно, проверку на дубликаты связей нужно ввести будет