Assertion list
convict (primary) → AtLocation
Results from Ascent++: 2
convict → AtLocation → jail 0.54
convict → AtLocation → detention 0.32