Add rules & facts towards skjo theory