property_with_logic =================== .. currentmodule:: catkit2.simulator .. autofunction:: property_with_logic