gramatica generada usando inferrer