class specification_class :role_type list -> goals_type list -> composition_type ->
object
..end
val mutable role_definitions_list : role_type list
val mutable goals : goals_type list
val mutable main_role : composition_type
method set_roles : role_type list -> bool
method get_roles : role_type list
method get_main_role : composition_type
method get_goals : goals_type list