In the UK, employment rights are enforced by Employment Tribunals, the courts of last resort for disputes between claimants (employees or former employees) and respondents (usually employers). The remedies available to successful claimants from Tribunals are for the most part limited to financial compensation for actual or future loss of income or injury to feelings flowing from unlawful acts on the part of respondents. When a claim is successful in showing liability, the tribunal may need to conduct an exercise in predicting/estimating future losses, usually after the claimant and respondent provide their own estimates and assumptions via legal submissions and evidence. Being able to model and estimate the value of a claim (the likely or most optimistic possible outcome for the claimant) is also important for claimants and unions or legal insurers to appreciate whether a claim is worth supporting. Probabilistic programming could provide a more structured, reusable and transparent means of representing and exchanging information about losses and the values of claims. This talk proposal will summarize the relevant aspects of the employment tribunal system and outline how a more structured and declarative approach to remedies could be beneficial.