Assertion list
second phase (subgroup of phase ) → HasA

Results from Ascent++: 4
second phaseHasA brunelleschi 0.39
second phaseHasA donatello 0.39
second phaseHasA higher resistance 0.25
second phaseHasA leading edge voltage 0.25