Assertion list
workstation (primary) → HasPrerequisite
Results from Ascent++: 3
workstation → HasPrerequisite → removaling 0.68
workstation → HasPrerequisite → expensive display 0.25
workstation → HasPrerequisite → several libraries 0.25