The distinction between := and :< is a hangover from DISCO/PAGE, where the behaviour was as in PET. In the LKB, := is the official notation, :< is allowed, but only for backward compatibility and it's interpreted in exactly the same way as :=. Ann