Assertion list
horn (aspect of unicorn ) → HasProperty
Results from Ascent++: 4
horn → HasProperty → long 0.31
horn → HasProperty → white 0.31
horn → HasProperty → short 0.25
horn → HasProperty → unique 0.25