abstract_subprogram_declaration ::= subprogram_specification "is" "abstract" ";"
This rule is called by -> basic_declaration
-> basic_declaration