In particular, when applying an MLN to different problem instances, the first-order formulas remain unchanged: all we need to change are the evidence predicates (i.e., the observations).
5 an ILP program cannot encode a problem instance compactly.