Assertion list
faucet (primary) → HasPrerequisite
Results from Ascent++: 4
faucet → HasPrerequisite → at least 3 drilled holes 0.65
faucet → HasPrerequisite → three holes 0.44
faucet → HasPrerequisite → only one hole 0.39
faucet → HasPrerequisite → twisting 0.18