#include "WeightedTerm.h"