the premises large-scale inference strategies inference using variables indefinite