diff --git a/stormpy/src/mod_expressions.cpp b/stormpy/src/mod_expressions.cpp
index 7ca054be9..ef89106c8 100644
--- a/stormpy/src/mod_expressions.cpp
+++ b/stormpy/src/mod_expressions.cpp
@@ -9,6 +9,12 @@ PYBIND11_PLUGIN(expressions) {
         ;
     
     py::class_<storm::expressions::Expression>(m, "Expression", "Holds an expression")
+    .def("__str__", &storm::expressions::Expression::toString)
+    .def_property_readonly("contains_variables", &storm::expressions::Expression::containsVariables)
+    .def_property_readonly("has_boolean_type", &storm::expressions::Expression::hasBooleanType)
+    .def_property_readonly("has_integer_type", &storm::expressions::Expression::hasIntegerType)
+    .def_property_readonly("has_rational_type", &storm::expressions::Expression::hasRationalType)
+    
         ;
 
 	return m.ptr();