Assertion list
truth (primary) → HasPrerequisite
Results from Ascent++: 3
truth → HasPrerequisite → proof 0.49
truth → HasPrerequisite → change 0.41
truth → HasPrerequisite → action 0.32