New helic -II: a software toll for legal reasoning