2916689516domain: NAppears in sequencesNumber of true entries in truth tables of bracketed formulas connected by modified implication (case 3).at n=14A218183