ABox info addition