class SimpleLogic::Expression