Logic-Based Tools for Legal Contract Drafting : prospects and problems