Interpretation of Relation Algebra -- Spring-Based Lattice Drawing Highlighting