general_set_fct

general_set_fct 
      ::= 
      set_fct_type 
      "(" [ set_quantifier ] value_exp ")" 

This rule is called by

-> set_fct_spec