Whether clause is a Prolog fact, rather than a rule, a premise or an axiom written in the language of arg2p