#NEWLINE# def joa( self , jovt ) : #NEWLINE# #INDENT# '\n        Thinking of jovt as an axiom signature, this returns the corresponding joa\n        (assuming the axiom is native or an Expansion, else we get None).\n        ' #NEWLINE# axiom = self . axioms . getAxiomByJOVT ( self . native_runtime , jovt ) #NEWLINE# if axiom . isNativeCall ( ) : #NEWLINE# #INDENT# return axiom . joa ( ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# if axiom . isExpansion ( ) : #NEWLINE# #INDENT# return None #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# return None