Assertion list
shingle (primary) → HasPrerequisite
Results from Ascent++: 2
shingle → HasPrerequisite → replacement 0.29
shingle → HasPrerequisite → the roof deck 0.28