Famulus and M – Added "symmetric" relation

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):

image