Assertion list for term "second n]-annulene -annulene".

Results from Ascent++: 1
benzene HasPropertysecond n]-annulene -annulene 0.28