diff --git a/src/storm/storage/expressions/PredicateExpression.cpp b/src/storm/storage/expressions/PredicateExpression.cpp
index 357a0cb17..73b9a9e2e 100644
--- a/src/storm/storage/expressions/PredicateExpression.cpp
+++ b/src/storm/storage/expressions/PredicateExpression.cpp
@@ -94,7 +94,16 @@ namespace storm {
         }
 
         void PredicateExpression::printToStream(std::ostream& stream) const {
-
+            switch (this->getPredicateType()) {
+                case PredicateExpression::PredicateType::AtMostOneOf: stream << "atMostOneOf(";
+                case PredicateExpression::PredicateType::AtLeastOneOf: stream << "atLeastOneOf(";
+                case PredicateExpression::PredicateType::ExactlyOneOf: stream << "exactlyOneOf(";
+            }
+            stream << *operands[0];
+            for (uint64_t i = 1; i < operands.size(); i++) {
+                stream << ", " << *operands[i];
+            }
+            stream << ")";
         }
     }
 }
\ No newline at end of file