Assertion list
labor contraction (subgroup of contraction ) → HasProperty
Results from Ascent++: 1
labor contraction → HasProperty → relaxing 0.68