In practice, we also need to choose a training regime (in order to learn the weights of the formulae we added to the MLN) and a search/inference method that picks the most likely set of ground atoms (PA relations in our case) given our trained MLN and a set of observations.
implementations of these methods are often already provided in existing Markov Logic interpreters such as Alchemy 4 and Markov thebeast.