Long-Term Purchase Commitment, Extension Term

No definition available.

Name:	pra_LongTermPurchaseCommitmentExtensionTerm
Namespace Prefix:	pra_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

Purchase Commitment, Notice To Non-Renew, Period

+ References

No definition available.

+ Details

Name:	pra_PurchaseCommitmentNoticeToNonRenewPeriod
Namespace Prefix:	pra_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

Syndicate Credit Agreement, Settlement Received

+ References

No definition available.

+ Details

Name:	pra_SyndicateCreditAgreementSettlementReceived
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

For contingent consideration arrangements recognized in connection with a business combination, this element represents an estimate of the high-end of the potential range (undiscounted) of the consideration which may be paid.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 50
-Paragraph 1
-Subparagraph (c)(3)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479581/805-30-50-1

+ Details

Name:	us-gaap_BusinessCombinationContingentConsiderationArrangementsRangeOfOutcomesValueHigh
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of liability recognized arising from contingent consideration in a business combination.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 805
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (c)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479581/805-30-50-1

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 25
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479668/805-30-25-6

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 35
-Paragraph 1
-Subparagraph (b)
-SubTopic 30
-Topic 805
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479613/805-30-35-1

+ Details

Name:	us-gaap_BusinessCombinationContingentConsiderationLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

The carrying amount of the asset transferred to a third party to serve as a deposit, which typically serves as security against failure by the transferor to perform under terms of an agreement.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(17))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

+ Details

Name:	us-gaap_DepositAssets
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Period covered by the long-term purchase commitment, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

+ References

No definition available.

+ Details

Name:	us-gaap_LongtermPurchaseCommitmentPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

Generally recurring costs associated with normal operations except for the portion of these expenses which can be clearly related to production and included in cost of sales or services. Includes selling, general and administrative expense.

+ References

No definition available.

+ Details

Name:	us-gaap_OperatingExpenses
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Minimum amount of other commitment not otherwise specified in the taxonomy. Excludes commitments explicitly modeled in the taxonomy, including but not limited to, long-term and short-term purchase commitments, recorded and unrecorded purchase obligations, supply commitments, registration payment arrangements, leases, debt, product warranties, guarantees, environmental remediation obligations, and pensions.

+ References

No definition available.

+ Details

Name:	us-gaap_OtherCommitment
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

Name:	us-gaap_OtherCommitmentsLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier.

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in next fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligationDueInNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Details

Name:	us-gaap_BusinessAcquisitionAxis=pra_NORCALGroupMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_LongTermPurchaseCommitmentByCategoryOfItemPurchasedAxis=pra_DataAnalyticsServicesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_OtherCommitmentsAxis=pra_FundingCommitmentsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_StatementBusinessSegmentsAxis=pra_LloydsSyndicatesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Commitments and Contingencies (Details) - USD ($) $ in Millions	1 Months Ended	3 Months Ended			9 Months Ended
	Nov. 30, 2021	Sep. 30, 2023	Jun. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022	Dec. 31, 2022	May 05, 2021
NORCAL Group
Other Commitments [Line Items]
Contingent consideration, maximum estimate								$ 84.0
Fair value of contingent consideration in NORCAL acquisition		$ (9.5)			$ (9.5)		$ (15.0)
Data Analytics Services
Other Commitments [Line Items]
Annual fee	$ 3.5
Purchase commitment, period	3 years
Extension period for long-term purchase commitment					1 year
Non-renew notice, period					6 months
Operating expense		0.8		$ 0.9	$ 2.5	$ 2.7
Purchase obligation		3.8			3.8
Funding Commitments
Other Commitments [Line Items]
Commitments total		146.6			146.6
Lloyd's Syndicates
Other Commitments [Line Items]
Required FAL deposit		$ 19.6			$ 19.6
Settlement received			$ 4.1