Assertion list for term "only one spring".
Results from Ascent++: 1
door → HasA → only one spring 0.40