def test_socrates_question():
oliveask.eval('Socrates is Human.')
oliveask.eval('if someone is Human then he is Intelligent.')
assert grammar.program.parse('Socrates is Intelligent?')[0].eval() == True
def test_save_expression():
knowledgebase.clear()
oliveask.eval('A.')
oliveask.eval('A or B.')
assert [str(x) for x in knowledgebase.get_all()] == ["A", "(A | B)"]
def test_question_eval():
knowledgebase.clear()
oliveask.eval('A.')
assert grammar.program.parse('A?')[0].eval() == True
assert grammar.program.parse('B?')[0].eval() == False