Controlling and argumenting legal inferencing: ysh, a case study