Assertion list
contradiction (primary) → AtLocation
Results from Ascent++: 2
contradiction → AtLocation → the bible 0.40
contradiction → AtLocation → the story of the girl 0.12