Assertion list
new genesis (subgroup of genesis ) → HasProperty
Results from Ascent++: 2
new genesis → HasProperty → first hyundai 0.84
new genesis → HasProperty → well-equipped 0.32