>>766232
神戸が天皇杯取ったんで4位がACL2だったかと。だとしたら間違いではない。
まあACLEとACL2では雲泥の差だが。