JLogic / SMGloL / Property-Law