Continuing my previous experiment, I took few mins this morning to add support for "symmetric" relations to my little inferencing engine for Famulus. Here's an example (starting with a clean Famulus store):