Assertion list for term "two doubles".
Results from Ascent++: 1
turner → HasA → two doubles 0.25