1.b> .i> reason IIr> + -err> I 1; 2.b> ( / / / i>); 3.b> .i> ( ;i> .i> semantic reasoner).
2.b> ( / / / i>);
3.b> .i> ( ;i> .i> semantic reasoner).
Developed by George Keretchashvili