Links for high-level-markov-logic-network