Assertion list
carcass (primary) → AtLocation
Results from Ascent++: 2
carcass → AtLocation → compartment 0.25
carcass → AtLocation → jahangirabad area 0.25