abstract MathQuery = Query ** {
fun
  KNumber : Kind ;
  TInteger : Int -> Term ;
  PEven, POdd, PPrime : Property ;
  PDivisible : Term -> Property ;
  PSmaller, PGreater : Term -> Property ;  
}