XML 74 R61.htm IDEA: XBRL DOCUMENT v3.21.2

Investments (Roll Forward of Cumulative Credit Losses Recorded in Earnings) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2021	Sep. 30, 2020	Sep. 30, 2021	Sep. 30, 2020
Other than Temporary Impairment, Credit Losses Recognized in Earnings [Roll Forward]
Balance, beginning of period	$ 0	$ 1,322	$ 552	$ 470
No impairment has been previously recognized	0	0	0	1,064
Impairment has been previously recognized	0	0	0	258
Securities sold during the period (realized)	0	(770)	(552)	(1,240)
Balance ending of period	$ 0	$ 552	$ 0	$ 552

X

- Definition

Credit Losses Recognized In Earnings In Which A Portion Of Losses Are Recognized In Comprehensive Income (Loss), Credit Losses On Debt Securities Held

+ References

No definition available.

+ Details

Name:	pra_CreditLossesRecognizedInEarningsInWhichAPortionOfLossesAreRecognizedInComprehensiveIncomeLossCreditLossesOnDebtSecuritiesHeld
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

X

- Definition

Impairment Loss, Debt Securities, No Impairment Previously Recognized

+ References

No definition available.

+ Details

Name:	pra_ImpairmentLossDebtSecuritiesNoImpairmentPreviouslyRecognized
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

- Definition

This item represents an increase to the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security held for which a previous OTTI was recognized and the investor does not intend to sell the debt security and it is not more likely than not that the investor will be required to sell the debt security before recovery of its amortized cost basis.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 8B
-Subparagraph (e)
-URI http://asc.fasb.org/extlink&oid=123581744&loc=SL6284393-111563

+ Details

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

X

- Definition

This item represents reductions in the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security because of the sale of impaired securities during the period.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 8B
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=123581744&loc=SL6284393-111563

+ Details

Name:	us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsReductionsSecuritiesSold
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_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration