1 ENTRY entry_name 2? ( 2.1? dummy_argument_list 2.2 ) 3+ 3? 3 RESULT ( result_name ) 3 BIND ( C 3.1? , NAME = binding_label 3.2 )