Assertion list for term "less open".
Results from Ascent++: 2
future → HasProperty → less open 0.18
conservative → HasProperty → less open 0.16