direct_implt_def_stmt ::= emphasis "(see" "the" "syntax" "rules)"
This rule is called by -> directly_exec_stmt
-> directly_exec_stmt