Some custom agents for JGomas (http://www.gti-ia.upv.es/sma/tools/jgomas/)