Grounding FO and FO(ID) with Bounds | Read Paper on Bytez