Assertion list for term "unsound claims".

Results from Ascent++: 1
sin HasSubeventunsound claims 0.23