Here, notation "+" signifies that the MLN contains an instance of the formula, with a separate weight, which is learnt from the training set.
the open-source Alchemy package 4 is employed for learning and inference.