aramuhobera cyane bimara umwanya it is part of greater saint louis higher order logic allows quantified variables to range over all possible properties or relations