Machine Reasoning for Regulatory Adherence