parameters: (self,state1, state2)
return_statement: return implies_state(state1.value,state2.value,axioms,self.relations)
docstring: True if state1 is a subset of state2
docstring_summary: True if state1 is a subset of state2
docstring_tokens: True if state1 is a subset of state2
function: def module_order(self,state1, state2):
      """True if state1 is a subset of state2 """
      axioms = self.background_theory(state1.in_scope) 
      return implies_state(state1.value,state2.value,axioms,self.relations)
function_tokens: def module_order ( self , state1 , state2 ) : axioms = self . background_theory ( state1 . in_scope ) return implies_state ( state1 . value , state2 . value , axioms , self . relations )