def validation_step_kenn_inductive(model, features, relations, index_x_valid, index_y_valid, labels, loss):
    """
    Validation step for the KENN model, for the Inductive Paradigm 
    (i.e. we are using only relations completely inside the validation set).
    Parameters:
    - model: the tf.models.Model variable containing the KENN model we are validating;
    - features: the subset of samples on which we are validating the model (i.e. Validation Set);
    - relations: the vector with binary relations preactivations (i.e. all 1 in our case)
    - index_x_valid: indexes corresponding to the first objects of the binary relation pairs;
    - index_y_valid: indexes corresponding to the second objects of the binary relation pairs;
    (NB: len(index_x_train) == len(index_y_train) == len(relations))
    - labels: the ground truth labels corresponding to the samples given in the features parameter;
    - loss: tf.loss object associated with the model.
    """

    predictions = model([features, relations, index_x_valid, index_y_valid])

    valid_loss = loss(predictions, labels)
    return predictions, valid_loss