Assertion list
fresh urine (subgroup of urine ) → HasProperty
Results from Ascent++: 1
fresh urine → HasProperty → sterile 0.59