Assertion list
exterior door (subgroup of door ) → HasPrerequisite
Results from Ascent++: 1
exterior door → HasPrerequisite → repair 0.10