37483252398domain: NAppears in sequencesNumber of affirmative formulas with two connectives (-> and *) and no variables.at n=14A233396