Assertion list
tailgate (primary) → HasA
Results from Ascent++: 1
tailgate → HasA → theme 0.24