Assertion list
curfew (primary) → AtLocation
Results from Ascent++: 1
curfew → AtLocation → certain areas of three districts 0.30