Complex connective inference and a possible type of implicature