The paper explores ABox abduction in ELbot under brave and AR semantics, focusing on hypotheses that satisfy multiple properties or optimality criteria. It shows that adding such properties does not significantly increase computational complexity.