high_level_markov_logic_network
