Basis of Reporting (Details)	Jul. 25, 2019
Basis of Reporting
Conversion ratio of PGHL shares to Company shares	6.46

Ratio applied to the conversion of previous equity ownership shares to equity ownership shares in the surviving company in a business merger.

No definition available.

Name:	pros_MergerStockConversionRatio
Namespace Prefix:	pros_
Data Type:	xbrli:pureItemType
Balance Type:	na
Period Type:	duration