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'
