Productions specification = definition+; definition = P.interface; interface = interface_dcl; interface_dcl = T.interface start_scope end_scope end_decl;