diff --git a/src/storm/logic/FragmentSpecification.cpp b/src/storm/logic/FragmentSpecification.cpp
index 96cbaf181..836b020aa 100644
--- a/src/storm/logic/FragmentSpecification.cpp
+++ b/src/storm/logic/FragmentSpecification.cpp
@@ -63,6 +63,9 @@ namespace storm {
             rpatl.setLongRunAverageRewardFormulasAllowed(true);
             rpatl.setLongRunAverageOperatorsAllowed(true);
 
+            rpatl.setProbabilityOperatorsAllowed(true);
+            rpatl.setReachabilityProbabilityFormulasAllowed(true);
+
             return rpatl;
         }