XML 47 R34.htm IDEA: XBRL DOCUMENT v3.23.3

Basis of Presentation (Details) $ in Millions	3 Months Ended	9 Months Ended
	Sep. 30, 2023 segment	Sep. 30, 2023 segment	Jun. 30, 2023 USD ($)
Organization, Consolidation and Presentation of Financial Statements [Abstract]
Number of reportable segments | segment	4	4
Refund payments | $			$ 3.8

X

- Definition

Cares Act Refund Receivable

+ References

No definition available.

+ Details

Name:	pra_CaresActRefundReceivable
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Number of segments reported by the entity. A reportable segment is a component of an entity for which there is an accounting requirement to report separate financial information on that component in the entity's financial statements.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 18
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-18

+ Details

Name:	us-gaap_NumberOfReportableSegments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	duration

X

- References

No definition available.

+ Details

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