A process specification of expert lawyer reasoning