Hello,
I don't see a reason why they should be named differently in the FOL.
Neither do I, I forgot why we did not use the ".1" notation in FOL. Maybe because it's a bit unconventional, but then, we can do what we want ...
Carlo
Best, Wolfgang _______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
-- Carlo Meghini Istituto di Scienza e Tecnologie dell'Informazione [ISTI] Consiglio Nazionale delle Ricerche [CNR] Area della Ricerca di Pisa Via G. Moruzzi 1, 56124 Pisa _______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
