vampire.extraction.read\_properties =================================== .. currentmodule:: vampire.extraction .. autofunction:: read_properties