Assertion list
dna (aspect of chromosome ) → HasA

Results from Ascent++: 1
dnaHasA instruction 0.38