Assertion list
laminate (primary) → HasPrerequisite
Results from Ascent++: 2
laminate → HasPrerequisite → underlayment 0.25
laminate → HasPrerequisite → little maintenance 0.24