Assertion list
parody (primary) → HasA
Results from Ascent++: 1
parody → HasA → obvious claim 0.42