Text this: Technical and inspirational philosophy of law: Lawyers' reasoning and artificial intelligence