Assertion list
free music (subgroup of music ) → IsA
Results from Ascent++: 1
free music → IsA → the gas 0.25