#ifndef EVAL
#define EVAL
#include "proposition.h"
#include "parse.h"
char just_is_sound(line_t line, lineSet_t lines);
#endif