code: def test_build_model(arguments):
      """
      Try to build a ``nltk.sem.Valuation``.
      """
      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(f"|- {g}: {decode_result(m.build_model())}\n")
      spacer()
      # print(m.model('standard'))
      # print(m.model('cooked'))
      print("Valuation")
      spacer()
      print(m.valuation, "\n")
  
imports: import os
  import tempfile
  from nltk.inference.api import BaseModelBuilderCommand, ModelBuilder
  from nltk.inference.prover9 import Prover9CommandParent, Prover9Parent
  from nltk.sem import Expression, Valuation
  from nltk.sem.logic import is_indvar
label_desc: Use image node_id 4 for calling a global function with example usage: test_build_model(arguments) without return types