Assertion list
big bang theory (primary) → HasA
Results from Ascent++: 1
big bang theory → HasA → significant problems 0.16