higher order logic allows quantified variables to range over all possible properties or relations the road does not continue east of the anacostia river alexandre ntabwo ari muto kuri vladimir