Is the most appropriate role being used in the consequent clause of this axiom?
(#$implies (#$and (#$isa ?THEFT #$Stealing-Generic) (#$perpetrator ?THEFT ?PERP)) (#$toLocation ?THEFT ?PERP))