Factoring Statutory Reasoning as Language Understanding Challenges