2つの推論モジュールを組み合わせることにより、ルールによる推論の厳密 さと事例による推論の柔軟さという利点を活かした推論システムを実現してい る。なお、ルールによる推論のモジュールは、並列定理証明プログラムMGTPを 拡張したものである。またHELIC-IIは、事例による推論を初めとする強力な推 論方式を実現している。従来、強力な推論手法は時間がかかることが欠点であ るとされてきたが、これらを並列化することにより、実用的な時間で結論が求 まることを示した。例えば、類似の判例を検出するモジュールでは、 PIMの1 台のプロセサでは2時間以上かかる計算が、64台では3分程度で実行できてい る。