code: def compute_composition_semantics(function, argument):
      assert isinstance(argument, LambdaExpression), (
          "`" + str(argument) + "` must be a lambda expression"
      )
      return LambdaExpression(
          argument.variable,
          ApplicationExpression(function, argument.term).simplify(),
      )
  
imports: from nltk.sem.logic import *
label_desc: Use image node_id 3 for calling a global function with example usage: compute_composition_semantics(function, argument) and returns: LambdaExpression