allAss ::
  [Term] ->
  MLN ->
  [Map Predicate Bool]
allAss ts mln = FOL.allAss $ allGroundings ts mln
allAss ::
  [Term] ->
  MLN ->
  [Map Predicate Bool]
allAss ts mln = FOL.allAss $ allGroundings ts mln
allAss ts mln = FOL.allAss $ allGroundings ts mln