Assertion list
tortellini (primary) → HasA
Results from Ascent++: 1
tortellini → HasA → a taco with meat 0.25