Assertion list for term "ternary".

Results from Ascent++: 1
alloy HasPropertyternary 0.28