STRUM - An Interactive Computer System for Modeling Binary Relations