Assertion list for term "one or more arithmetic/logic models".

Results from Ascent++: 1
cpu IsAone or more arithmetic/logic models 0.32