add sub premise