This is something that is a little more tricky to figure out, but basically, any time that you ask can a program do X that will be a functional property that you are asking for at least in almost any of the cases. 