Abi provides the strongest lens to find inclusiveness issues that disproportionately affect women users. If you choose to use only one persona and your primary motivation is inclusiveness to women, Abi is probably the best first choice. Abi provides the strongest inclusivity lens out of the 3 personas.
Pat touches (mostly) middle points in the facet ranges between Abi and Tim. If you want a third persona for additional coverage of the facets, Pat is a good third choice after Tim.
Tim represents the opposite end of the facet value ranges from Abi, so Tim helps to complete the "sweep" of considering a wide range of facet values. For full coverage of the spectrum, Tim is a good second choice after Abi.