The Split-Up Project: Induction, Context and Knowledge Discovery in Law