Fuzzy relation calculus (update follows)