parameters: (self,p,q)
return_statement: return contain(left,right)
docstring: ~p->~q -> (p->q)
docstring_summary: ~p->~q -> (p->q)
docstring_tokens: ~p - > ~q - > ( p - > q )
function: def l3(self,p,q):
          '''~p->~q -> (p->q)'''
          left = contain(non(p),non(q))
          right = contain(p,q)
          return contain(left,right)
function_tokens: def l3 ( self , p , q ) : left = contain ( non ( p ) , non ( q ) ) right = contain ( p , q ) return contain ( left , right )