Metodos para inferir após consultar