Assertion list
case (aspect of lawyer ) → MadeOf
Results from Ascent++: 1
case → MadeOf → the type 0.27