Quantification of the amount of thioproline in a sample. The trait is EFO_0801012 (thioproline measurement).