who leads the mlb in batting average with risp

Aaron Judge has the highest batting average this season, with an average of .355.

Interpreted as:

Who leads the MLB in batting average with a minimum of 3.1 PA per team game with risp this regular season?

	NAME	AVG	SEASON	TM	G	AB	R	H	2B	3B	HR	RBI	BB	HBP	SO	SB	CS	PA	TB	XBH	SH	SF	IBB	GIDP	OBP	SLG	OPS	WRC	WRAA	WOBA	WRC+	BRAA
1	Aaron Judge A. Judge	.355	2025	NYY	96	352	85	125	24	2	35	81	69	4	109	6	3	429	258	61	0	4	24	10	.462	.733	1.194	109	58.9	.484	218	58.9
2	Jacob Wilson J. Wilson	.332	2025	ATH	87	340	44	113	17	0	9	42	20	4	28	5	2	366	157	26	1	1	1	15	.375	.462	.837	58	15.3	.365	136	15.3
3	Jonathan Aranda J. Aranda	.324	2025	TBR	91	315	48	102	20	0	11	49	33	8	85	0	1	358	155	31	0	2	2	7	.399	.492	.892	63	21.3	.387	155	23
4	Will Smith W. Smith	.323	2025	LAD	74	248	45	80	16	1	12	46	45	3	55	2	3	301	134	29	0	5	0	5	.425	.540	.966	60	24.6	.415	172	25.3
5	Jeremy Peña J. Peña	.322	2025	HOU	82	317	48	102	18	1	11	40	20	10	55	15	2	350	155	30	1	2	1	6	.378	.489	.867	58	17.8	.376	145	18.2
6	Jake Meyers J. Meyers	.308	2025	HOU	89	289	47	89	15	2	3	21	27	2	58	14	5	322	117	20	2	2	0	8	.369	.405	.774	45	7.5	.342	121	7.8
7	Alejandro Kirk A. Kirk	.303	2025	TOR	81	287	25	87	9	0	7	45	27	1	30	0	0	319	117	16	0	4	2	8	.361	.408	.768	43	5.9	.336	117	6.3
8	Maikel Garcia M. Garcia	.297	2025	KCR	95	350	40	104	25	3	8	40	31	1	52	18	9	386	159	36	2	2	0	7	.354	.454	.808	57	12	.352	122	9.7
9	Freddie Freeman F. Freeman	.297	2025	LAD	84	317	46	94	25	1	10	49	33	3	80	1	1	356	151	36	0	3	5	8	.365	.476	.842	55	13.5	.360	135	14.4
10	Brendan Donovan B. Donovan	.297	2025	STL	89	344	51	102	22	0	8	36	34	6	52	3	1	388	148	30	1	3	3	4	.367	.430	.797	56	10.9	.348	126	11.8
11	José Ramírez J. Ramírez	.295	2025	CLE	92	346	54	102	17	1	18	50	35	5	44	29	5	391	175	36	0	5	12	2	.363	.506	.869	61	16	.364	136	16.4
12	Bobby Witt Jr. B. Witt Jr.	.294	2025	KCR	97	381	57	112	32	3	14	54	30	3	80	25	7	420	192	49	0	6	6	3	.345	.504	.849	64	15.3	.358	126	12.8
13	Sal Frelick S. Frelick	.294	2025	MIL	93	344	46	101	11	3	7	39	26	7	49	17	4	382	139	21	3	2	0	1	.354	.404	.758	51	6.6	.335	115	6.7
14	Josh Naylor J. Naylor	.294	2025	AZ	87	327	46	96	18	1	11	58	35	2	46	11	2	368	149	30	0	4	4	12	.361	.456	.817	54	11.5	.352	126	11.1
15	Alec Burleson A. Burleson	.293	2025	STL	85	290	31	85	17	0	11	43	22	0	42	4	0	315	135	28	0	3	1	8	.340	.466	.805	45	8.6	.347	126	9.3
16	Kyle Stowers K. Stowers	.293	2025	MIA	91	304	46	89	13	3	19	54	34	4	97	4	1	346	165	35	1	3	1	6	.368	.543	.911	61	21	.389	150	20.2
17	Manny Machado M. Machado	.292	2025	SDP	96	367	57	107	22	0	17	56	36	0	69	8	2	408	180	39	0	5	2	11	.350	.490	.841	63	15.5	.361	137	17.4
18	Michael Busch M. Busch	.290	2025	CHC	90	300	45	87	15	3	19	59	35	6	77	4	0	341	165	37	0	0	1	1	.375	.550	.925	63	22.9	.397	161	24.1
19	J.P. Crawford	.290	2025	SEA	93	345	44	100	14	0	7	37	55	3	69	5	1	409	135	21	5	1	1	3	.391	.391	.782	60	12.5	.351	132	15.3
20	Trea Turner T. Turner	.289	2025	PHI	94	388	62	112	19	2	11	40	29	4	70	24	6	423	168	32	0	2	1	5	.343	.433	.776	58	8.6	.338	117	8.6
21	Byron Buxton B. Buxton	.289	2025	MIN	78	298	64	86	14	4	21	56	27	4	87	17	0	333	171	39	0	4	2	0	.351	.574	.925	59	20.5	.390	153	20.4
22	Ernie Clement E. Clement	.288	2025	TOR	94	313	44	90	19	0	4	25	20	1	35	3	3	342	121	23	4	4	1	8	.328	.387	.715	40	-0.2	.313	100	0.2
23	Xavier Edwards X. Edwards	.288	2025	MIA	79	320	40	92	14	1	1	24	32	1	52	16	6	357	111	16	2	2	1	2	.352	.347	.699	41	-0.1	.313	98	-0.9
24	CJ Abrams	.287	2025	WSH	82	327	61	94	20	4	12	33	24	10	59	20	2	364	158	36	1	2	1	3	.353	.483	.836	56	14	.361	134	14.5
25	Paul Goldschmidt P. Goldschmidt	.287	2025	NYY	91	334	55	96	22	1	8	36	28	2	61	5	1	365	144	31	0	1	5	7	.345	.431	.776	49	6.4	.335	115	6.4