#ifndef _COMBINATORIAL_LOGIC_EXPRESSION_H
#define _COMBINATORIAL_LOGIC_EXPRESSION_H

#include <vector>
#include <memory>
#include <mentalEntity.h>
#include <concept.h>
#include <user/comparator.h>
#include <user/stimulusFrame.h>

namespace smo {
namespace cologex {

class CombinatorialLogicExpression
:	public MentalEntity, public logic::Expression, public Concept
{
public:

};

class CombinatorialLogicExpressionSeq
:	public MentalEntity, public Concept
{
public:
	std::vector<
		std::pair<stim_buff::SimultaneityStamp, CombinatorialLogicExpression>
	> expressions;
};

typedef CombinatorialLogicExpression Cologex;
typedef CombinatorialLogicExpressionSeq CologexSeq;

} // namespace cologex
} // namespace smo

#endif