Assertion list
frozen embryo (subgroup of embryo ) → CapableOf

Results from Ascent++: 1
frozen embryoCapableOf remain viable 0.37