concepts.pdsketch.strips.strips_expression.make_sproposition_from_function_application# make_sproposition_from_function_application(expr, objects=None)[source]# Compose a proposition from a function application expression. Parameters: expr (FunctionApplicationExpression) objects (Dict[str, str] | None) Return type: str