Assertion list
criminal case (subgroup of case ) → AtLocation
Results from Ascent++: 1
criminal case → AtLocation → progress 0.29