XML 47 R33.htm IDEA: XBRL DOCUMENT
v3.24.1.u1

Fair Value Measurement (Level 3 Assets and Liability) (Details) - USD ($) $ in Thousands | 3 Months Ended
--- | ---
Mar. 31, 2024 | Mar. 31, 2023
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | $ 97,154 | $ 71,513
Included in earnings, as a part of: |  |
Included in earnings | $ 85 | $ 13
Fair Value, Asset, Recurring Basis, Unobservable Input Reconciliation, Asset, Gain (Loss), Statement of Other Comprehensive Income or Comprehensive Income [Extensible Enumeration] | Other Comprehensive Income (Loss), Net of Tax, Portion Attributable to Parent | Other Comprehensive Income (Loss), Net of Tax, Portion Attributable to Parent
Operating expense |  | $ 0
Included in other comprehensive income (loss) | $ (199) | 248
Purchases | 3,401 | 8,185
Sales | (702) | (432)
Transfers in | 0 | 12,999
Transfers out | (25,414) | (8,015)
Ending balance | 74,325 | 84,511
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | $ 85 | $ (3)
Fair Value Asset Recurring Basis Still Held Unrealized Gain Loss Statement Of Income Extensible List Not Disclosed Flag | Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | $ (6,500) | $ (15,000)
Total gains (losses) realized and unrealized: |  |
Net investment gains (losses) | 0 | 1,000
Operating expense |  | 1,000
Included in other comprehensive income (loss) | 0 | 0
Purchases | 0 | 0
Sales | 0 | 0
Transfers in | 0 | 0
Transfers out | 0 | 0
Ending balance | (6,500) |
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | $ 0 | $ 0
Net investment income (loss) |  |
Included in earnings, as a part of: |  |
Fair Value, Asset, Recurring Basis, Unobservable Input Reconciliation, Gain (Loss), Statement of Income or Comprehensive Income [Extensible Enumeration] |  | Net Investment Income
Net investment gains (losses) |  |
Included in earnings, as a part of: |  |
Fair Value, Liability, Recurring Basis, Unobservable Input Reconciliation, Gain (Loss), Statement of Income or Comprehensive Income [Extensible Enumeration] | Gain (Loss) on Investments |
Corporate Debt |  |
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | $ 82,377 | $ 63,973
Included in earnings, as a part of: |  |
Included in earnings | 0 | 16
Operating expense |  | 0
Included in other comprehensive income (loss) | (171) | 209
Purchases | 2,201 | 6,322
Sales | (702) | (432)
Transfers in | 0 | 11,220
Transfers out | (17,497) | (5,151)
Ending balance | 66,208 | 76,157
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | 0 | 0
Asset-backed Securities |  |
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | 4,414 | 2,954
Included in earnings, as a part of: |  |
Included in earnings | 0 | 0
Operating expense |  | 0
Included in other comprehensive income (loss) | (28) | 39
Purchases | 1,200 | 1,863
Sales | 0 | 0
Transfers in | 0 | 1,779
Transfers out | (3,445) | (1,581)
Ending balance | 2,141 | 5,054
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | 0 | 0
Equity Investments |  |
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | 5,237 | 2,803
Included in earnings, as a part of: |  |
Included in earnings | (3) | (3)
Operating expense |  | 0
Included in other comprehensive income (loss) | 0 | 0
Purchases | 0 | 0
Sales | 0 | 0
Transfers in | 0 | 0
Transfers out | 0 | 0
Ending balance | 5,234 | 2,800
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | (3) | (3)
Other Investments |  |
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | 5,126 | 1,783
Included in earnings, as a part of: |  |
Included in earnings | 88 | 0
Operating expense |  | 0
Included in other comprehensive income (loss) | 0 | 0
Purchases | 0 | 0
Sales | 0 | 0
Transfers in | 0 | 0
Transfers out | (4,472) | (1,283)
Ending balance | 742 | 500
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | 88 | 0
Other Liabilities |  |
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward] |  |
Beginning balance | (6,500) | (15,000)
Total gains (losses) realized and unrealized: |  |
Net investment gains (losses) | 0 | 1,000
Operating expense |  | 1,000
Included in other comprehensive income (loss) | 0 | 0
Purchases | 0 | 0
Sales | 0 | 0
Transfers in | 0 | 0
Transfers out | 0 | 0
Ending balance | (6,500) | (13,000)
Change in unrealized gains (losses) included in earnings for the above period for Level 3 assets and liabilities held at period-end | $ 0 | $ 0

X
- Definition Fair Value Asset Recurring Basis Still Held Unrealized Gain Loss Statement Of Income Extensible List Not Disclosed Flag + References No definition available. + Details
Name: | pra_FairValueAssetRecurringBasisStillHeldUnrealizedGainLossStatementOfIncomeExtensibleListNotDisclosedFlag
Namespace Prefix: | pra_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Fair Value, Measurement with Unobservable Inputs Reconciliation, Recurring Basis, Asset, Operating Expenses + References No definition available. + Details
Name: | pra_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetOperatingExpenses
Namespace Prefix: | pra_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Fair Value, Measurement with Unobservable Inputs Reconciliation, Recurring Basis, Liabilities, Operating Expenses + References No definition available. + Details
Name: | pra_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilitiesOperatingExpenses
Namespace Prefix: | pra_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Included in Earnings, as a part of. + References No definition available. + Details
Name: | pra_GainsLossesByEarningsCategoryAssetsAbstract
Namespace Prefix: | pra_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Gains Losses Realized and Unrealized Liabilities + References No definition available. + Details
Name: | pra_GainsLossesRealizedAndUnrealizedLiabilitiesAbstract
Namespace Prefix: | pra_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of unrealized gain (loss) recognized in income from asset measured at fair value on recurring basis using unobservable input (level 3) and still held. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueAssetsMeasuredOnRecurringBasisChangeInUnrealizedGainLoss
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period. + References No definition available. + Details
Name: | us-gaap_FairValueAssetsMeasuredOnRecurringBasisUnobservableInputReconciliationCalculationRollForward
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of unrealized gain (loss) recognized in income from liability measured at fair value on recurring basis using unobservable input (level 3) and still held. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueLiabilitiesMeasuredOnRecurringBasisChangeInUnrealizedGainLoss
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period. + References No definition available. + Details
Name: | us-gaap_FairValueLiabilitiesMeasuredOnRecurringBasisUnobservableInputReconciliationCalculationRollForward
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of transfers of financial instrument classified as a liability into level 3 of the fair value hierarchy. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(3) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationLiabilityTransfersIntoLevel3
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of transfers of financial instrument classified as a liability out of level 3 of the fair value hierarchy. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(3) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationLiabilityTransfersOutOfLevel3
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of gain (loss) recognized in income from asset measured at fair value on recurring basis using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetGainLossIncludedInEarnings1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of gain (loss) recognized in other comprehensive income (OCI) from asset measured at fair value on recurring basis using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetGainLossIncludedInOtherComprehensiveIncomeLoss
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of purchases of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 820 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (c)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetPurchases
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of sale of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 820 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (c)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetSales
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of transfer of financial instrument classified as an asset into level 3 of the fair value hierarchy. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(3) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetTransfersIntoLevel3
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of transfers of financial instrument classified as an asset out of level 3 of the fair value hierarchy. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(3) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetTransfersOutOfLevel3
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Fair value of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c) -SubTopic 10 -Topic 820 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of gain (loss) recognized in income from liability measured at fair value on recurring basis using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityGainLossIncludedInEarnings
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of gain (loss) recognized in other comprehensive income (OCI) from liability measured at fair value on recurring basis using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityGainLossIncludedInOtherComprehensiveIncome
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of purchases of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 820 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (c)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityPurchases
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of sales of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 820 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (c)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilitySales
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Fair value of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c) -SubTopic 10 -Topic 820 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationsRecurringBasisLiabilityValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Indicates line item in statement in which net income is reported that includes gain (loss) from asset measured at fair value using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueRecurringBasisUnobservableInputReconciliationAssetGainLossStatementOfIncomeExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | enum2:enumerationSetItemType
Balance Type: | na
Period Type: | duration

X
- Definition Indicates line item in statement in which other comprehensive income (OCI) is reported that includes gain (loss) from asset measured at fair value using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueRecurringBasisUnobservableInputReconciliationAssetGainLossStatementOfOtherComprehensiveIncomeExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | enum2:enumerationSetItemType
Balance Type: | na
Period Type: | duration

X
- Definition Indicates line item in statement in which net income is reported that includes gain (loss) from liability measured at fair value using unobservable input (level 3). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_FairValueRecurringBasisUnobservableInputReconciliationLiabilityGainLossStatementOfIncomeExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | enum2:enumerationSetItemType
Balance Type: | na
Period Type: | duration

X
- Details
Name: | us-gaap_IncomeStatementLocationAxis=pra_NetInvestmentIncomeMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_IncomeStatementLocationAxis=us-gaap_GainLossOnInvestmentsMember1
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FinancialInstrumentAxis=us-gaap_CorporateDebtSecuritiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FinancialInstrumentAxis=us-gaap_AssetBackedSecuritiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FinancialInstrumentAxis=us-gaap_EquitySecuritiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FinancialInstrumentAxis=us-gaap_OtherInvestmentsMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FinancialInstrumentAxis=us-gaap_OtherLiabilitiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |