Thinks about is-attacked? predicate