1. Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies Sagar Sunkle, Deepali kholkar, and Vinay Kulkarni Tata Consultancy Services Research,…