Agents in Prova rule language wrapped by UMO