Assertion list
class action lawsuit (subgroup of case ) → HasProperty
Results from Ascent++: 1
class action lawsuit → HasProperty → successful 0.16