XML 58 R45.htm IDEA: XBRL DOCUMENT v3.23.3

Investments (Credit Losses Related to Debt Securities) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	$ 419	$ 553	$ 427	$ 0
No allowance for credit losses has been previously recognized	151	0	151
Securities sold during the period	(10)		(18)	553
Allowance for credit loss ending balance	560	553	560	553
Residential mortgage-backed securities
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	223		229
No allowance for credit losses has been previously recognized	0		0
Securities sold during the period	(7)		(13)
Allowance for credit loss ending balance	216		216
Other commercial mortgage-backed securities
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	0		0
No allowance for credit losses has been previously recognized	151		151
Securities sold during the period	0		0
Allowance for credit loss ending balance	151		151
Other asset-backed securities
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	196		198
No allowance for credit losses has been previously recognized	0		0
Securities sold during the period	(3)		(5)
Allowance for credit loss ending balance	193		193
Corporate Debt
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance		553	0	0
No allowance for credit losses has been previously recognized		0
Securities sold during the period				553
Allowance for credit loss ending balance	$ 0	$ 553	$ 0	$ 553

X

- Definition

Amount of allowance for credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (aaa)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-2

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479130/326-30-45-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (i)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

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

X

- Definition

Amount of expense for credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), for which no credit loss was previously recorded.

+ References

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

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLossNotPreviouslyRecorded
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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_DebtSecuritiesAvailableForSaleAllowanceForCreditLossRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

X

- Definition

Amount of decrease in allowance for credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale) from sale.

+ References

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

+ Details

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

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_ResidentialMortgageBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=pra_OtherCommercialMortgageBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=pra_OtherAssetBackedSecuritiesMember
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: