Cleaned up Evaluation, added true/false printing for no antecedent