added first rules to nabl