Name:	pra_ScheduleOfInvestmentsInUnconsolidatedSubsidiariesTableTextBlock
Namespace Prefix:	pra_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure 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).

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 9
-URI http://asc.fasb.org/extlink&oid=124269663&loc=SL82922900-210455

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLossTableTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-URI http://asc.fasb.org/topic&trid=2196928

Name:	us-gaap_DebtSecuritiesAvailableForSaleTableTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 55
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=121590138&loc=SL82922954-210456

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 6
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=123581744&loc=d3e27290-111563

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=124269663&loc=SL82922888-210455

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPositionFairValueTableTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of equity method investments including, but not limited to, name of each investee or group of investments, percentage ownership, difference between recorded amount of an investment and the value of the underlying equity in the net assets, and summarized financial information.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 323
-SubTopic 10
-Section 50
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=114001798&loc=d3e33918-111571

Name:	us-gaap_EquityMethodInvestmentsTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of realized and unrealized gain (loss) on investment in security.

No definition available.

Name:	us-gaap_GainLossOnInvestmentsTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of investment income, including, but not limited to, interest and dividend income and amortization of discount (premium) derived from debt and equity securities. Excludes realized and unrealized gain (loss) on investments.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.9)
-URI http://asc.fasb.org/extlink&oid=123367319&loc=SL114868664-224227

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04.2)
-URI http://asc.fasb.org/extlink&oid=120400993&loc=SL114874131-224263

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.7(a),(b))
-URI http://asc.fasb.org/extlink&oid=123367319&loc=SL114868664-224227

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.8)
-URI http://asc.fasb.org/extlink&oid=123367319&loc=SL114868664-224227

Name:	us-gaap_InvestmentIncomeTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of maturities of an entity's investments as well as any other information pertinent to the investments.

No definition available.

Name:	us-gaap_InvestmentsClassifiedByContractualMaturityDateTableTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

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

Tabular disclosure of the amount of other than temporary impairment (OTTI) related to credit losses recognized in earnings including: (a) the beginning balance of the amount related to credit losses on debt securities held by the investor at the beginning of the period for which a portion of an OTTI was recognized in other comprehensive income; (b) additions for the amount related to the credit loss for which an OTTI was not previously recognized; (c) reductions for securities sold during the period (realized); (d) reductions for securities for which the amount previously recognized in other comprehensive income was recognized in earnings because the investor intends to sell the security or more likely than not will be required to sell the security before recovery of its amortized cost basis; (e) additional increases to the amount related to the credit loss for which an OTTI was previously recognized when the investor does not intend to sell the security and it is not more likely than not that the investor will be required to sell the security before recovery of its amortized cost basis; (f) reductions for increases in cash flows expected to be collected that are recognized over the remaining life of the security; and (g) the ending balance of the amount related to credit losses on debt securities held by the entity at the end of the period for which a portion of an OTTI was recognized in other comprehensive income.

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

Name:	us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsTableTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration

Tabular disclosure of the reconciliation of available-for-sale securities from cost basis to fair value.

No definition available.