Meet Mosaic: the intelligent contract extraction, interpretation and reasoning tool