Assertion list
local police department (subgroup of police department ) → CapableOf
Results from Ascent++: 1
local police department → CapableOf → make decision 0.25