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 )