S AND (T AND NOT U)