argument

fun argument(label: String, argument: Term): Struct

The fact labelling argument with label