LogicalRules module added - first draft