Assertion list
impossible burger (subgroup of hamburger ) → IsA
Results from Ascent++: 1
impossible burger → IsA → real hamburger 0.59