[2304.06912] How well do SOTA legal reasoning models support abductive reasoning?