user_level(damian, expert).			/* defaults */
user_level(joe, expert).
user_level(jon, expert).
user_level(paul, expert).
user_level(malcolm, expert).
user_level(jan, expert).
user_level(_User, novice).		/* everyone else is a novice */

user_type(damian, modeller).
user_type(joe, engineer).
user_type(jon, architect).
user_type(paul, engineer).
user_type(malcolm, engineer).
user_type(jan, engineer).
user_type(_User, engineer).		/* everyone else is a engineer */
