vampire.extraction.write\_properties ==================================== .. currentmodule:: vampire.extraction .. autofunction:: write_properties