Individual #Johann_Muller__Muller__Regiomontanus  German mathematician and astronomer (1436-1476)
  type:  mathematician  a person skilled in mathematics
  type:  astronomer__uranologist__stargazer  a physicist who studies astronomy

No statement uses or specializes Johann_Muller; click here to add one.