Assertion list
bilateral ect (subgroup of ect ) → HasProperty

Results from Ascent++: 1
bilateral ectHasProperty more effective than unilateral … 0.59