ruled function list