Class LogicTermImpl