What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? s_2 -> R_20(a_20). forall x_20: R_20(x_20) -> S_20(x_20). p_14 -> s_2. p_14 <-> p.
p_14 -> R_20(a_20). p_14 -> p. p -> p_14.