ulkb.Object.unfold_theory# Object.unfold_theory()# Unfolds arguments of Theory. Returns: Theory’s arguments unfolded. Raises: TypeError – Object is not an instance of Theory.