Assertion list
work (aspect of carpenter ) → HasPrerequisite
Results from Ascent++: 2
work → HasPrerequisite → precise opposite 0.28
work → HasPrerequisite → exact reverse 0.25