13550468360domain: NAppears in sequencesNumber of true entries in truth tables of bracketed formulas connected by modified implication (case 1).at n=15A218184