Assertion list
condo (primary) → HasPrerequisite
Results from Ascent++: 3
condo → HasPrerequisite → some tlc 0.36
condo → HasPrerequisite → update 0.26
condo → HasPrerequisite → less maintenance 0.22