lower(small,0). lower(medium,0). lower(large,0). lower(force,-4). 
upper(small,2). upper(medium,3). upper(large,4). upper(force,4).
 
small(1,s0). medium(1,s0). large(1,s0). force(-1,s0).