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