refactored policies to simplify rules
keep track of created atoms