What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? q_1 -> w. P(a) -> q_1. forall x_1: Q(x_1) -> P(x_1). p_6 -> Q(a).
P(a) -> w.