This is a very new project! I am working with incoming PhD advisee Dorsa Mohammadi Arezooji on a new domain in the nascent PL+Law field. We are inspired by Basu et al.'s Property Conveyances as Programming Languages. We are currently investigating two domains: arbitration agreements in EULAs and insurance contracts. We are seeking out domain experts in the legal field and have outlined projects in NLP and user comprehension of privacy concerns. We look forward to attending the ProLaLa workshop and connecting with collaborators.