swiPrologMentalState added converters