Extracting and Saving Obligations