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

Investments (Sales and Purchases of Available-for-Sale Securities) (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jun. 30, 2017	Jun. 30, 2016	Jun. 30, 2017	Jun. 30, 2016
Information regarding sales and purchases of available-for-sale securities
Proceeds from sales (exclusive of maturities and paydowns)	$ 156,300	$ 82,000	$ 235,500	$ 191,900
Purchases	$ 198,700	$ 173,600	$ 359,080	$ 373,180

X

- Definition

Schedule of Sales And Purchases Of Available For Sale Securities [Abstract]

+ References

No definition available.

+ Details

Name:	pra_ScheduleOfSalesAndPurchasesOfAvailableForSaleSecuritiesAbstract
Namespace Prefix:	pra_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

X

- Definition

The cash outflow to acquire debt securities classified as available-for-sale securities, because they are not classified as either held-to-maturity securities or trading securities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 13
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=66902209&loc=d3e3213-108585

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=66010992&loc=d3e26853-111562

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Glossary Investing Activities
-URI http://asc.fasb.org/extlink&oid=6516133

+ Details

Name:	us-gaap_PaymentsToAcquireAvailableForSaleSecuritiesDebt
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

X

- Definition

The cash inflow associated with the sale of debt and equity securities classified as available-for-sale securities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Glossary Investing Activities
-URI http://asc.fasb.org/extlink&oid=6516133

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=66010992&loc=d3e26853-111562

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a),(b)
-URI http://asc.fasb.org/extlink&oid=66902209&loc=d3e3179-108585

+ Details

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