diff --git a/util/PrismFormulaPrinter.cpp b/util/PrismFormulaPrinter.cpp
index bbb9a0c..df284f4 100644
--- a/util/PrismFormulaPrinter.cpp
+++ b/util/PrismFormulaPrinter.cpp
@@ -104,6 +104,8 @@ namespace prism {
 
     if(conditionalMovementRestrictions.size() > 0) {
       os << buildFormula(agentName + "CannotMoveConditionally", vectorToDisjunction(conditionalMovementRestrictions));
+    }
+    if(portableObjects.size() > 0) {
       os << buildFormula(agentName + "IsCarrying", vectorToDisjunction(portableObjects));
     }
   }