Logic Programming Infrastructure for Inferences on FrameNet