def test_build_model(arguments):
 g = Expression.fromstring('all x.man(x)')
 alist = [Expression.fromstring(a) for a in ['man(John)', 'man(Socrates)', 'man(Bill)', 'some x.(-(x = John) & man(x) & sees(John,x))', 'some x.(-(x = Bill) & man(x))', 'all x.some y.(man(x) -> gives(Socrates,x,y))']]
 m = MaceCommand(g, assumptions=alist)
 m.build_model()
 spacer()
 print('Assumptions and Goal')
 spacer()
 for a in alist:
  print(('   %s' % a))
 print(('|- %s: %s\n' % (g, decode_result(m.build_model()))))
 spacer()
 print('Valuation')
 spacer()
 print(m.valuation, '\n')

def test_build_model ( arguments ) : g = Expression . fromstring ( 'all x.man(x)' ) alist = [ Expression . fromstring ( a ) for a in [ 'man(John)' , 'man(Socrates)' , 'man(Bill)' , 'some x.(-(x = John) & man(x) & sees(John,x))' , 'some x.(-(x = Bill) & man(x))' , 'all x.some y.(man(x) -> gives(Socrates,x,y))' ] ] m = MaceCommand ( g , assumptions = alist ) m . build_model ( ) spacer ( ) print ( 'Assumptions and Goal' ) spacer ( ) for a in alist : print ( ( '   %s' % a ) ) print ( ( '|- %s: %s\n' % ( g , decode_result ( m . build_model ( ) ) ) ) ) spacer ( ) print ( 'Valuation' ) spacer ( ) print ( m . valuation , '\n' )
try to build a nltk .