Assertion list
fixed price (subgroup of price ) → IsA
Results from Ascent++: 1
fixed price → IsA → determining factor 0.25