Changed interface of convered(). Now it gets op (operational fact) AND examples. People are given as an argument.