prep_implt_def_stmt ::= emphasis "(see" "the" "syntax" "rules.)"
This rule is called by -> prep_stmt
-> prep_stmt