Example of default rules over Lubm is added.