Automated legal reasoning with discretion to act using s(LAW)