Implements the rules: arguments and list_arguments