Three semantical interpretations of a statistical theoremhood testing procedure