Assertion list
code (aspect of dna ) → HasProperty
Results from Ascent++: 3
code → HasProperty → degenerate 0.43
code → HasProperty → arbitrary 0.42
code → HasProperty → redundant 0.38