Similar Items: Fast Obligation Translation and Synthesis