def test_create_sentence(self): sentence = create_sentence( quoterm( r'(control black)')) assert sentence.name == 'control' assert sentence.body[0].atom == 'black'
def test_create_proposition(self): proposition = create_proposition( quoterm( r'control')) assert proposition.const.atom == 'control'
def test_create_relation(self): relation = create_relation( quoterm(r'(control black)')) assert relation.name == 'control'
def test_create_term(self): term = create_term( quoterm(r'?a')) assert term.variable == '?a' term = create_term( quoterm(r'a')) assert term.atom == 'a'
def test_create_variable(self): var = create_variable( quoterm(r'?a')) assert var.variable == '?a'
def test_create_constant(self): const = create_constant( quoterm(r'a')) assert const.atom == 'a'