Assertion list
civil case (subgroup of case ) → HasProperty
Results from Ascent++: 1
civil case → HasProperty → foreign related 0.30