postfix_operator_negative_number({-1 yf1}).