inductiveGRL
