Axiom status added. next: evaluate statement status based on group evaluations