logical-unification>=0.4.0

[test]
pytest
