diff --git "a/mistral7b_quat8/output" "b/mistral7b_quat8/output"
new file mode 100644--- /dev/null
+++ "b/mistral7b_quat8/output"
@@ -0,0 +1,2363 @@
+,0,1,2
+0,"go to P08 after you go to P09 .
+",Finally ( P09 And ( Finally P08 ) ),Finally ( P09 And ( Finally P08 ) )
+1,"P08 can be executed without involvement of P03.
+",Finally ( P08 And ( Not P03 ) ),Finally ( P08 And ( Not P03 ) )
+2,"P01
+",Finally P01,Finally P01
+3,"go through the  P04 or P03 to the P01
+",Finally ( ( P04 Or P03 ) And ( Finally P01 ) ),Finally ( ( P04 Or P03 ) And ( Finally P01 ) )
+4,"It's a perpetual truth that one of P03, P04, or P05 will hold.
+",Globally ( ( P03 Or P04 ) Or P05 ),Globally ( ( P03 Or P04 ) Or P05 )
+5,"go to P04 by first going through P05 .
+",Finally ( P05 And ( Finally P04 ) ),Finally ( P05 And ( Finally P04 ) )
+6,"move to P12 and then proceed to P06 .
+",Finally ( P12 And ( Finally P06 ) ),Finally ( P12 And ( Finally P06 ) )
+7,"avoid the P10 and go to P08 .
+",Finally ( P08 And ( Not P10 ) ),Finally ( P08 And ( Not P10 ) )
+8,"stay away from P03 and go to P11 .
+",Finally ( P11 And ( Not P03 ) ),Finally ( P11 And ( Not P03 ) )
+9,"Upon the enabling of P01, P02 is enabled three steps subsequently.
+",Globally ( P01 Imply Next ( Next ( Next P02 ) ) ),Globally ( P01 Imply Next ( Next ( Next P02 ) ) )
+10,"P03 should be navigated to, ensuring to avoid P12.
+",Finally ( P03 And ( Not P12 ) ),Finally ( P03 And ( Not P12 ) )
+11,"navigate through P10 and go to P03 .
+",Finally ( P10 And ( Finally P03 ) ),Finally ( P10 And ( Finally P03 ) )
+12,"P01 but avoid P04
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+13,"go to P04 by first visiting P12 .
+",Finally ( P12 And ( Finally P04 ) ),Finally ( P12 And ( Finally P04 ) )
+14,"go to P07 but avoid P03 .
+",Finally ( P07 And ( Not P03 ) ),Finally ( P07 And ( Not P03 ) )
+15,"go to P11 before navigating to P07 .
+",Finally ( P11 And ( Finally P07 ) ),Finally ( P11 And ( Finally P07 ) )
+16,"stay in P03 to navigate to P10 .
+",( Finally P10 ) And ( Globally P03 ),( Finally P10 ) And ( Globally P03 )
+17,"move to P04
+",Finally P04,Finally P04
+18,"The correct sequence involves navigating through P02 prior to moving to P11.
+",Finally ( P02 And ( Finally P11 ) ),Finally ( P02 And ( Finally P11 ) )
+19,"move to the P01 without entering a P02
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+20,"go through the room which is not P02 to get to P04
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+21,"P09 can be visited only after reaching P12.
+",Finally ( P12 And ( Finally P09 ) ),Finally ( P12 And ( Finally P09 ) )
+22,"P03
+",Finally P03,Finally P03
+23,"always avoid P05 while navigating to P12 .
+",Finally ( P12 And ( Not P05 ) ),Finally ( P12 And ( Not P05 ) )
+24,"go through P06 before going to P11
+",Finally ( P06 And ( Finally P11 ) ),( Not P11 ) Until P06
+25,"P01 is reachable via P03, irrespective of its size.
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+26,"move to the P03
+",Finally P03,Finally P03
+27,"go to P02 without going to P10 .
+",Finally ( P02 And ( Not P10 ) ),Finally ( P02 And ( Not P10 ) )
+28,"avoid P10 until you navigate to P11 .
+",( Not P10 ) Until P11,( Not P10 ) Until P11
+29,"stay away from P04 and go to P10 .
+",Finally ( P10 And ( Not P04 ) ),Finally ( P10 And ( Not P04 ) )
+30,"P01 should be executed without having to go through P02.
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+31,"go to P12 , then up to P10 .
+",Finally ( P12 And ( Finally P10 ) ),Finally ( P12 And ( Finally P10 ) )
+32,"navigate to P07 , avoiding P10 .
+",Finally ( P07 And ( Not P10 ) ),Finally ( P07 And ( Not P10 ) )
+33,"P04 is what you get right after P02.
+",Finally ( P02 And ( Finally P04 ) ),Globally ( P02 Imply ( Next P04 ) )
+34,"Navigate through P04 first, followed by proceeding to P03.
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+35,"go through P04s to get to the P01 one
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+36,"move to P02 .
+",Finally P02,Finally P02
+37,"stay in P03 and go to P12
+",( Finally P12 ) And ( Globally P03 ),( Finally P12 ) And ( Globally P03 )
+38,"always go through P06 and then to P10 .
+",Finally ( P06 And ( Finally P10 ) ),Finally ( P06 And ( Finally P10 ) )
+39,"proceed to P03 by going through P04 .
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+40,"go to P10 and then P06
+",Finally ( P10 And ( Finally P06 ) ),Finally ( P10 And ( Finally P06 ) )
+41,"go through P01 to reach P03
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+42,"go to below P03 then go to  P04 door
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P02 And ( Finally ( P03 And ( Finally P04 ) ) ) )
+43,"go through P04 then to P08 .
+",Finally ( P04 And ( Finally P08 ) ),Finally ( P04 And ( Finally P08 ) )
+44,"the robot goes to the P02 to get to the  P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+45,"go from P07 to P06
+",Finally ( P07 And ( Finally P06 ) ),Finally ( P07 And ( Finally P06 ) )
+46,"P09 should be accomplished without executing P06.
+",Finally ( P09 And ( Not P06 ) ),Finally ( P09 And ( Not P06 ) )
+47,"P03 can be independently executed.
+",Finally P03,Finally P03
+48,"move the robot through the P03 or P01 small room and then to the large P04
+",Finally ( ( P01 Or P03 ) And ( Finally P04 ) ),Finally ( ( P01 Or P03 ) And ( Finally P04 ) )
+49,"P01 or P02 is validated infinitely often.
+",Globally ( ( Finally P01 ) Or ( Finally P02 ) ),( Globally ( Finally P01 ) ) Or ( Globally ( Finally P02 ) )
+50,"Begin at P11 and then navigate to P06.
+",Finally ( P11 And ( Finally P06 ) ),Finally ( P11 And ( Finally P06 ) )
+51,"enter P02 and bring the chair back to the P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+52,"travel through P01 to the large P02 rectangular room
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+53,"go to P07 without going into P03
+",Finally ( P07 And ( Not P03 ) ),Finally ( P07 And ( Not P03 ) )
+54,"go to P06 before you go to P10 .
+",Finally ( P06 And ( Finally P10 ) ),Finally ( P06 And ( Finally P10 ) )
+55,"go through the P03 or P02 and enter P04
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+56,"The course to P02 should be navigated through the execution of P04.
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+57,"go to the P03 area through P01 area
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+58,"Eventually, P02 should be executed.
+",Finally P02,Finally P02
+59,"go to P09 and avoid P01 .
+",Finally ( P09 And ( Not P01 ) ),Finally ( P09 And ( Not P01 ) )
+60,"enter P04 via the non P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+61,"move into the P01 through P04
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+62,"go to P06 through P04
+",Finally ( P04 And ( Finally P06 ) ),Finally ( P04 And ( Finally P06 ) )
+63,"go to P02 before going to P04 .
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+64,"get to the P03 area by avoiding P04
+",( Finally P03 ) And ( Globally ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+65,"move to the P01
+",Finally P01,Finally P01
+66,"Avoid traveling through P01 en route to P02.
+",( Finally P02 ) And ( Globally ( Not P01 ) ),( Finally P02 ) And ( Globally ( Not P01 ) )
+67,"navigate to P04 always avoiding P02 .
+",Finally ( P04 And ( Not P02 ) ),Finally ( P04 And ( Not P02 ) )
+68,"go through P12 and navigate to P01 .
+",Finally ( P12 And ( Finally P01 ) ),Finally ( P12 And ( Finally P01 ) )
+69,"go to P03 and then go to P06 .
+",Finally ( P03 And ( Finally P06 ) ),Finally ( P03 And ( Finally P06 ) )
+70,"P08 should be completed before navigating to P06.
+",Finally ( P08 And ( Finally P06 ) ),Finally ( P08 And ( Finally P06 ) )
+71,"navigate to P06 through P05 .
+",Finally ( P05 And ( Finally P06 ) ),Finally ( P05 And ( Finally P06 ) )
+72,"always avoid going to P11 through P06
+",( Not P06 ) Until P11,( Not P06 ) Until P11
+73,"move into the P01
+",Finally P01,Finally P01
+74,"go through P08 to P04
+",Finally ( P08 And ( Finally P04 ) ),Finally ( P08 And ( Finally P04 ) )
+75,"Consistently evade P12 while navigating towards P02.
+",Finally ( P02 And ( Not P12 ) ),Finally ( P02 And ( Not P12 ) )
+76,"enter the P01 without entering a P03
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+77,"P03 and then P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+78,"from P09 , navigate to P07 .
+",Finally ( P09 And ( Finally P07 ) ),Finally ( P09 And ( Finally P07 ) )
+79,"move to the middle of the P03
+",Finally P03,Finally P03
+80,"always walk through the P01 to get to P02
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+81,"travel through P02 to the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+82,"P02 then the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+83,"go through the P03 or P02 to the P01
+",Finally ( ( P02 Or P03 ) And ( Finally P01 ) ),Finally ( ( P02 Or P03 ) And ( Finally P01 ) )
+84,"travel through the P01 to P02
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+85,"Execution of the large P03 will only take place after going through P01.
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+86,"There won't be a situation where P01 and P03 occur at the same time.
+",Globally ( Not ( P01 And P03 ) ),Globally ( Not ( P01 And P03 ) )
+87,"P03 must be completed first, followed by P04.
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+88,"go to P03 , then proceed to P10 .
+",Finally ( P03 And ( Finally P10 ) ),Finally ( P03 And ( Finally P10 ) )
+89,"avoid P06 until navigating to P03 .
+",( Not P06 ) Until P03,( Not P06 ) Until P03
+90,"go to P05 through P06
+",Finally ( P06 And ( Finally P05 ) ),Finally ( P06 And ( Finally P05 ) )
+91,"go to P05 through P11
+",Finally ( P11 And ( Finally P05 ) ),Finally ( P11 And ( Finally P05 ) )
+92,"go to P05 without touching P10 .
+",Finally ( P05 And ( Not P10 ) ),Finally ( P05 And ( Not P10 ) )
+93,"go to P09 but do not go through P01 first .
+",( Not P01 ) Until P09,( Not P01 ) Until P09
+94,"go through P04 to get to P02
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+95,"avoid P05 until you go to P04 .
+",( Not P05 ) Until P04,( Not P05 ) Until P04
+96,"At no time do P01 and P02 hold simultaneously.
+",Globally ( Not ( P01 And P02 ) ),Globally ( Not ( P01 And P02 ) )
+97,"P04 but do not enter the P01 first
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+98,"go from P07 to P05
+",Finally ( P07 And ( Finally P05 ) ),Finally ( P07 And ( Finally P05 ) )
+99,"Eventually, move to P01.
+",Finally P01,Finally P01
+100,"go to P09 then move to P04 .
+",Finally ( P09 And ( Finally P04 ) ),Finally ( P09 And ( Finally P04 ) )
+101,"P04 while avoiding P02s
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+102,"first navigate to P02 , then make your way to P06 .
+",Finally ( P02 And ( Finally P06 ) ),Finally ( P02 And ( Finally P06 ) )
+103,"go through P02 to the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+104,"P02 and then go into the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+105,"don t go through P02 towards P04
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+106,"The sequence of execution starts with P01 and then P11.
+",Finally ( P01 And ( Finally P11 ) ),Finally ( P01 And ( Finally P11 ) )
+107,"P01 and then go into P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+108,"go through P02 then to P08 .
+",Finally ( P02 And ( Finally P08 ) ),Finally ( P02 And ( Finally P08 ) )
+109,"go to P08 and then go to P01 .
+",Finally ( P08 And ( Finally P01 ) ),Finally ( P08 And ( Finally P01 ) )
+110,"go to P02 while staying on P07 .
+",( Finally P02 ) And ( Globally P07 ),( Finally P02 ) And ( Globally P07 )
+111,"go to P11 by only navigating within P01 .
+",( Finally P11 ) And ( Globally P01 ),( Finally P11 ) And ( Globally P01 )
+112,"travel through P01 then go to P02 .
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+113,"move towards P03 and then to P07 .
+",Finally ( P03 And ( Finally P07 ) ),Finally ( P03 And ( Finally P07 ) )
+114,"Move through P07 to eventually reach P10.
+",Finally ( P07 And ( Finally P10 ) ),Finally ( P07 And ( Finally P10 ) )
+115,"Before executing P09, ensure P06 has been completed.
+",Finally ( P06 And ( Finally P09 ) ),Finally ( P06 And ( Finally P09 ) )
+116,"If P01 is invariably followed by P02, then P03 must occur infinitely.
+",Globally ( P01 Imply ( Finally P02 ) ) Imply ( Globally ( Finally P03 ) ),Globally ( P01 Imply ( Finally P02 ) ) Imply ( Globally ( Finally P03 ) )
+117,"Before moving to P02, P01 should be avoided.
+",( Finally P02 ) And ( Globally ( Not P01 ) ),( Finally P02 ) And ( Globally ( Not P01 ) )
+118,"P01 through  P04 and P03
+",Finally ( P04 And ( Finally P03 ) ) And ( Finally P01 ),Finally ( ( P04 Or P03 ) And ( Finally P01 ) )
+119,"pass through the P03 to reach P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+120,"go through the room that is not  P04 to get to the P01
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+121,"go to P06 without going to P11 .
+",Finally ( P06 And ( Not P11 ) ),Finally ( P06 And ( Not P11 ) )
+122,"move to P01 then continue to P03 .
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+123,"first enter the P01 and then proceed to P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+124,"avoid P10 until going to P05 .
+",( Not P10 ) Until P05,( Not P10 ) Until P05
+125,"enter the room that isnt P02 then P01
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+126,"always avoid P05 , go to P08 .
+",Finally ( P08 And ( Not P05 ) ),Finally ( P08 And ( Not P05 ) )
+127,"Execute P04 prior to transitioning to P11.
+",Finally ( P04 And ( Finally P11 ) ),Finally ( P04 And ( Finally P11 ) )
+128,"Always execute P05 and ensure not to touch P12.
+",Finally ( P05 And ( Not P12 ) ),Finally ( P05 And ( Not P12 ) )
+129,"avoid P12 until going to P10 .
+",( Not P12 ) Until P10,( Not P12 ) Until P10
+130,"P04 can be executed without going to P01.
+",( Finally P04 ) And ( Globally ( Not P01 ) ),Finally ( P04 And ( Not P01 ) )
+131,"Pass through P03 or P02 and then go to P04.
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+132,"go to a spot in P05 , but do n't touch P10 .
+",Finally ( P05 And ( Not P10 ) ),Finally ( P05 And ( Not P10 ) )
+133,"go to P10 by only navigating within P05 .
+",( Finally P10 ) And ( Globally P05 ),( Finally P10 ) And ( Globally P05 )
+134,"visit P06 and then move to P08 .
+",Finally ( P06 And ( Finally P08 ) ),Finally ( P06 And ( Finally P08 ) )
+135,"go to P12 and then to P11 .
+",Finally ( P12 And ( Finally P11 ) ),Finally ( P12 And ( Finally P11 ) )
+136,"go to P07 then move to P04 .
+",Finally ( P07 And ( Finally P04 ) ),Finally ( P07 And ( Finally P04 ) )
+137,"go through room that is not P02 to get to P04
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+138,"Execute P01 first and then proceed to P12.
+",Finally ( P01 And ( Finally P12 ) ),Finally ( P01 And ( Finally P12 ) )
+139,"go to P06 .
+",Finally P06,Finally P06
+140,"go to the P03 area by avoiding P02 area
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+141,"move to P09 .
+",Finally P09,Finally P09
+142,"go to P03 and then go to P11 .
+",Finally ( P03 And ( Finally P11 ) ),Finally ( P03 And ( Finally P11 ) )
+143,"P04 stops holding from a certain time forward.
+",Finally ( Globally ( Not P04 ) ),Finally ( Globally ( Not P04 ) )
+144,"go only through rooms that are not P01 to get to P04
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+145,"After either P03 or P02 has been completed, the journey to P04 can commence.
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+146,"move to P02
+",Finally P02,Finally P02
+147,"move to the P01
+",Finally P01,Finally P01
+148,"avoid P10 until you navigate to P12 .
+",( Not P10 ) Until P12,( Not P10 ) Until P12
+149,"Reach P08 while always avoiding P06. Once P08 is reached, you can proceed to P06.
+",Finally ( P08 And ( Finally P06 ) ),( Not P06 ) Until P08
+150,"go to P05 through P04
+",Finally ( P04 And ( Finally P05 ) ),Finally ( P04 And ( Finally P05 ) )
+151,"Circumvent P11 and direct actions toward the completion of P07.
+",Finally ( P07 And ( Not P11 ) ),Finally ( P07 And ( Not P11 ) )
+152,"P04 but avoid the P01
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+153,"go to P01 area by avoiding P02 area
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+154,"Proceed to P02 and return to P01 with a chair.
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+155,"P11 must be completed before starting P01.
+",Finally ( P11 And ( Finally P01 ) ),Finally ( P11 And ( Finally P01 ) )
+156,"travel through P04 to the P02 rectangular room
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+157,"Whenever a P01 is succeeded by a P02, it becomes necessary for P03 to hold infinitely often.
+",Globally ( P01 Imply ( Finally P02 ) ) Imply ( Globally ( Finally P03 ) ),Globally ( P01 Imply ( Finally P02 ) ) Imply ( Globally ( Finally P03 ) )
+158,"move to the P01
+",Finally P01,Finally P01
+159,"always avoid P03 and navigate to P08 .
+",Finally ( P08 And ( Not P03 ) ),Finally ( P08 And ( Not P03 ) )
+160,"P01 while avoiding the P03s
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+161,"P11 must always be visited prior to navigating to P01.
+",Finally ( P01 And ( Finally P11 ) ),Finally ( P11 And ( Finally P01 ) )
+162,"move to the P03 move to P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+163,"move to reach the P01 place by taking a path which has P03   in it while avoiding  P02 
+",( Finally P01 ) And ( Globally ( Not P02 ) ) And ( Globally ( Not P03 ) ),( Finally ( P03 And ( Finally P01 ) ) ) And ( Globally ( ( Not P02 ) ) )
+164,"without leaving P08 go to P03 .
+",( Finally P03 ) And ( Globally P08 ),( Finally P03 ) And ( Globally P08 )
+165,"move to P02
+",Finally P02,Finally P02
+166,"Initially avoid P04 to reach P08; after reaching P08, progressing to P04 is feasible.
+",( Finally P04 ) And ( Globally ( Not P04 ) ) And ( Globally ( Not P04 ) ) And ( Finally P08 ),( Not P04 ) Until P08
+167,"Initially complete P06 then navigate to P05.
+",Finally ( P06 And ( Finally P05 ) ),Finally ( P06 And ( Finally P05 ) )
+168,"Reach P03 only after going through P06.
+",Finally ( P06 And ( Finally P03 ) ),Finally ( P06 And ( Finally P03 ) )
+169,"go through P11 and navigate to P05 .
+",Finally ( P11 And ( Finally P05 ) ),Finally ( P11 And ( Finally P05 ) )
+170,"travel to P04 but do not go through the P01
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+171,"go to P09 then go P12 .
+",Finally ( P09 And ( Finally P12 ) ),Finally ( P09 And ( Finally P12 ) )
+172,"without stepping outside of P06 , go to P10 .
+",( Finally P10 ) And ( Globally P06 ),( Finally P10 ) And ( Globally P06 )
+173,"proceed to  P04 area while avoiding the P02 area
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+174,"P03
+",Finally P03,Finally P03
+175,"go to the P02
+",Finally P02,Finally P02
+176,"go to P12 then P11 .
+",Finally ( P12 And ( Finally P11 ) ),Finally ( P12 And ( Finally P11 ) )
+177,"Always (P11 is avoided) until Eventually (P05 is navigated).
+",( Not P11 ) Until P05,( Not P11 ) Until P05
+178,"navigate to P08 always avoiding P01 .
+",Finally ( P08 And ( Not P01 ) ),Finally ( P08 And ( Not P01 ) )
+179,"avoid P10 until you go to P11 .
+",( Not P10 ) Until P11,( Not P10 ) Until P11
+180,"move into P02
+",Finally P02,Finally P02
+181,"The state of P03 continues until the state of P02 occurs, or the state of P03 continues indefinitely.P08 should be executed while avoiding any interaction with P04.
+",( P03 Until P02 ) Or ( Globally ( P03 And ( Not P04 ) ) ) And ( Finally P08 ),( P03 Until P02 ) Or ( Globally P03 )Finally ( P08 And ( Not P04 ) )
+182,"One should not affect P02 when navigating to P03.
+",( Not P02 ) Until P03,( Not P02 ) Until P03
+183,"P08 must be completed before executing P02.
+",Finally ( P08 And ( Finally P02 ) ),Finally ( P08 And ( Finally P02 ) )
+184,"avoid P03 and go to P08 .
+",Finally ( P08 And ( Not P03 ) ),Finally ( P08 And ( Not P03 ) )
+185,"The procedure necessitates the execution of P05 before venturing into P10.
+",Finally ( P05 And ( Finally P10 ) ),Finally ( P05 And ( Finally P10 ) )
+186,"go through the P01 to get to P02
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+187,"always avoid going to P12 through P04
+",( Not P04 ) Until P12,( Not P04 ) Until P12
+188,"avoid P05 until you enter P03 .
+",( Not P05 ) Until P03,( Not P05 ) Until P03
+189,"enter the P03 without crossing P02
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+190,"go through  P04 to get to P01
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+191,"P01 and P02 are both going to be true eventually.
+",( Finally P01 ) And ( Finally P02 ),( Finally P01 ) And ( Finally P02 )
+192,"go from P08 to P02 .
+",Finally ( P08 And ( Finally P02 ) ),Finally ( P08 And ( Finally P02 ) )
+193,"head to P12 after going to P03 .
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+194,"When P01 occurs, it will not be followed by P02 again.
+",Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) ),Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) )
+195,"go through P03 to P06 .
+",Finally ( P03 And ( Finally P06 ) ),Finally ( P03 And ( Finally P06 ) )
+196,"go through P01 to P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+197,"go to P12 then go to P01 .
+",Finally ( P12 And ( Finally P01 ) ),Finally ( P12 And ( Finally P01 ) )
+198,"Move towards P04 avoiding P02.
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+199,"Move through P04 to execute P09.
+",Finally ( P04 And ( Finally P09 ) ),Finally ( P04 And ( Finally P09 ) )
+200,"go to P03 without going through P02 .
+",( Not P02 ) Until P03,( Not P02 ) Until P03
+201,"P04 by first entering the P03
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+202,"got to P04 without going through P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+203,"Whenever P03 is true, P02 is true as well.
+",Globally ( P03 Imply P02 ),Globally ( P03 Imply P02 )
+204,"P03 must be executed before P04.
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+205,"go to P12 , then head to P07 .
+",Finally ( P12 And ( Finally P07 ) ),Finally ( P12 And ( Finally P07 ) )
+206,"Complete the journey through P12 before heading to P03.
+",Finally ( P12 And ( Finally P03 ) ),Finally ( P12 And ( Finally P03 ) )
+207,"go to P12 but always stay away from P10 .
+",Finally ( P12 And ( Not P10 ) ),Finally ( P12 And ( Not P10 ) )
+208,"pass through P04 on your way to P09 .
+",Finally ( P04 And ( Finally P09 ) ),Finally ( P04 And ( Finally P09 ) )
+209,"P04 sets the path for reaching P03.
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+210,"move to P06 without leaving P07 .
+",( Finally P06 ) And ( Globally P07 ),( Finally P06 ) And ( Globally P07 )
+211,"go to P08 then go to P12 .
+",Finally ( P08 And ( Finally P12 ) ),Finally ( P08 And ( Finally P12 ) )
+212,"move to P04
+",Finally P04,Finally P04
+213,"i want you to go into the P01
+",Finally P01,Finally P01
+214,"P02 should be the destination after passing through P04.
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+215,"P09 is a prerequisite for P08, which implies heading to P09 before moving to P08.
+",Finally ( P09 And ( Finally P08 ) ),Finally ( P09 And ( Finally P08 ) )
+216,"Globally, the movement to P03 should always avoid P02.
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Not P02 ) Until P03
+217,"go to P11 , avoid P05 until you have been to the landmark .
+",( Not P05 ) Until P11,( Not P05 ) Until P11
+218,"Initially execute P02, followed by an execution of P03.
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+219,"Always (P10 precedes P02), ensuring P10 is executed before P02.
+",Finally ( P10 And ( Finally P02 ) ),Finally ( P10 And ( Finally P02 ) )
+220,"P09 needs to be completed first, only then visit P11.
+",Finally ( P09 And ( Finally P11 ) ),( Finally P11 ) And ( Globally P09 )
+221,"move to P04
+",Finally P04,Finally P04
+222,"avoid P02 until after you 've gone to P01 .
+",( Not P02 ) Until P01,( Not P02 ) Until P01
+223,"to reach the P03 do not go through P02
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+224,"go through P01 or P03 to get to  P04
+",Finally ( ( P03 Or P01 ) And ( Finally P04 ) ),Finally ( ( P01 Or P03 ) And ( Finally P04 ) )
+225,"go to P11 by only stepping in P06 .
+",( Finally P11 ) And ( Globally P06 ),( Finally P11 ) And ( Globally P06 )
+226,"go through P05 to P06 .
+",Finally ( P05 And ( Finally P06 ) ),Finally ( P05 And ( Finally P06 ) )
+227,"go to P09 then go to P12 .
+",Finally ( P09 And ( Finally P12 ) ),Finally ( P09 And ( Finally P12 ) )
+228,"P05 should be executed without leaving P09 at any point.
+",( Finally P05 ) And ( Globally P09 ),( Finally P05 ) And ( Globally P09 )
+229,"go through P03 before going to P02 .
+",Finally ( P03 And ( Finally P02 ) ),Finally ( P03 And ( Finally P02 ) )
+230,"while always avoiding P06 , go to P10 .
+",Finally ( P10 And ( Not P06 ) ),Finally ( P10 And ( Not P06 ) )
+231,"Head to P04 without executing P02. 
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+232,"P01 must be completed and then proceed to P10 but, do not proceed further.
+",Finally ( P01 And ( Finally P10 ) ),( Finally P10 ) And ( Globally P01 )
+233,"Avoid executing P12 until P11 has been completed.
+",( Not P12 ) Until P11,( Not P12 ) Until P11
+234,"P02
+",Finally P02,Finally P02
+235,"go through P06 to P07 .
+",Finally ( P06 And ( Finally P07 ) ),Finally ( P06 And ( Finally P07 ) )
+236,"avoid P06 until you go to P01 .
+",( Not P06 ) Until P01,( Not P06 ) Until P01
+237,"go to P02 push chair to P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+238,"go to P11 but always stay away from P10 .
+",Finally ( P11 And ( Not P10 ) ),Finally ( P11 And ( Not P10 ) )
+239,"always go through P01 and then to P10 .
+",Finally ( P01 And ( Finally P10 ) ),Finally ( P01 And ( Finally P10 ) )
+240,"move to P01 first then travel to P10 .
+",Finally ( P01 And ( Finally P10 ) ),Finally ( P01 And ( Finally P10 ) )
+241,"head to P11 after going to P02 .
+",Finally ( P02 And ( Finally P11 ) ),Finally ( P02 And ( Finally P11 ) )
+242,"go to P04 then to P01
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+243,"while always avoiding P04 , go to P10 .
+",Finally ( P10 And ( Not P04 ) ),Finally ( P10 And ( Not P04 ) )
+244,"always avoid P10 and go to P03 .
+",Finally ( P03 And ( Not P10 ) ),Finally ( P03 And ( Not P10 ) )
+245,"go towards P02 through P04
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+246,"move to room not using P01 into P04
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+247,"Complete the execution of P10 before progressing to P01.
+",Finally ( P10 And ( Finally P01 ) ),Finally ( P10 And ( Finally P01 ) )
+248,"Always avoid P06 when navigating towards P11.
+",Finally ( P11 And ( Not P06 ) ),Finally ( P11 And ( Not P06 ) )
+249,"Proceed to a non-P03 room first, and then move to P02.
+",( Finally P02 ) And ( Globally ( Not P03 ) ),( Finally P02 ) And ( Globally ( Not P03 ) )
+250,"move to P07 by going through P06
+",Finally ( P06 And ( Finally P07 ) ),Finally ( P06 And ( Finally P07 ) )
+251,"avoid P04 and travel to P06 .
+",Finally ( P06 And ( Not P04 ) ),Finally ( P06 And ( Not P04 ) )
+252,"go into P02 but do not enter the P01
+",( Finally P02 ) And ( Globally ( Not P01 ) ),( Finally P02 ) And ( Globally ( Not P01 ) )
+253,"Execute P02 while avoiding execution of P03.
+",( Finally P02 ) And ( Globally ( Not P03 ) ),Finally ( P02 And ( Not P03 ) )
+254,"avoid P05 , navigate to P06 .
+",Finally ( P06 And ( Not P05 ) ),Finally ( P06 And ( Not P05 ) )
+255,"P04 can be executed independently.
+",Finally P04,Finally P04
+256,"go to P11 without leaving P06 .
+",( Finally P11 ) And ( Globally P06 ),( Finally P11 ) And ( Globally P06 )
+257,"move to P07 by going through P03
+",Finally ( P03 And ( Finally P07 ) ),Finally ( P03 And ( Finally P07 ) )
+258,"while always avoiding P01 , go to P11 .
+",Finally ( P11 And ( Not P01 ) ),Finally ( P11 And ( Not P01 ) )
+259,"In the process, avoid P10 at all costs and navigate to P06.
+",Finally ( P06 And ( Not P10 ) ),Finally ( P06 And ( Not P10 ) )
+260,"head to P06 , but make sure to go through P05 first .
+",Finally ( P05 And ( Finally P06 ) ),Finally ( P05 And ( Finally P06 ) )
+261,"always avoid P12 and go to P11 .
+",Finally ( P11 And ( Not P12 ) ),Finally ( P11 And ( Not P12 ) )
+262,"walk to the P01 while avoiding the P03
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+263,"enter the door to the P01 and exit the other door into P02
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+264,"move to the P01
+",Finally P01,Finally P01
+265,"go through P12 before going to P09 .
+",Finally ( P12 And ( Finally P09 ) ),Finally ( P12 And ( Finally P09 ) )
+266,"do n't leave P01 and go to P10 .
+",( Finally P10 ) And ( Globally P01 ),( Finally P10 ) And ( Globally P01 )
+267,"avoid P03 until after navigating to P06 .
+",( Not P03 ) Until P06,( Not P03 ) Until P06
+268,"go through P05 first , then go to P03 .
+",Finally ( P05 And ( Finally P03 ) ),Finally ( P05 And ( Finally P03 ) )
+269,"P02 and push the chair back into the P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+270,"go through the P02 or the P03 to get to P04
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+271,"move to P02 and then move to P10 .
+",Finally ( P02 And ( Finally P10 ) ),Finally ( P02 And ( Finally P10 ) )
+272,"Either P01 is the case infinitely often, or P02 is the case in the following step.
+",Globally ( ( Finally P01 ) Or ( Next P02 ) ),Globally ( ( Finally P01 ) Or ( Next P02 ) )
+273,"move to the P01 and then to P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+274,"P01 and do not use P04
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+275,"enter P04 without entering a P03
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+276,"always avoid P12 and go to P01 .
+",Finally ( P01 And ( Not P12 ) ),Finally ( P01 And ( Not P12 ) )
+277,"move to P02 through P04
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+278,"P01 should not be encountered until one arrives at P12.
+",( Not P01 ) Until P12,( Not P01 ) Until P12
+279,"go to P11 through P10 .
+",Finally ( P10 And ( Finally P11 ) ),Finally ( P10 And ( Finally P11 ) )
+280,"go to P10 before navigating to P09 .
+",Finally ( P10 And ( Finally P09 ) ),Finally ( P10 And ( Finally P09 ) )
+281,"go to P12 by only stepping in P06 .
+",( Finally P12 ) And ( Globally P06 ),( Finally P12 ) And ( Globally P06 )
+282,"go to P02 but not through  P04
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+283,"go to P01 and then go to P11 .
+",Finally ( P01 And ( Finally P11 ) ),Finally ( P01 And ( Finally P11 ) )
+284,"P07 can only be executed after the completion of P01.
+",Finally ( P01 And ( Finally P07 ) ),Finally ( P01 And ( Finally P07 ) )
+285,"P03 should be completed before proceeding to P08.
+",Finally ( P03 And ( Finally P08 ) ),Finally ( P03 And ( Finally P08 ) )
+286,"stay in P01 and go to P10 and stop
+",( Finally P10 ) And ( Globally P01 ),( Finally P10 ) And ( Globally P01 )
+287,"Traverse from P04 going through P09.
+",Finally ( P09 And ( Finally P04 ) ),Finally ( P09 And ( Finally P04 ) )
+288,"P03 should be executed while avoiding the passage through P02.
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+289,"navigate through P12 and go to P04 .
+",Finally ( P12 And ( Finally P04 ) ),Finally ( P12 And ( Finally P04 ) )
+290,"go up to P08 without going to P10 .
+",Finally ( P08 And ( Not P10 ) ),Finally ( P08 And ( Not P10 ) )
+291,"Access P01 through the completion of P03.
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+292,"Head first to P02, only after should P08 be executed. 
+",Finally ( P02 And ( Finally P08 ) ),Finally ( P02 And ( Finally P08 ) )
+293,"got to P01 without going through P03
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+294,"exit room and go right to the P03
+",Finally P03,Finally P03
+295,"go  P04 or P03 to P01
+",Finally ( ( P04 Or P03 ) And ( Finally P01 ) ),Finally ( ( P04 Or P03 ) And ( Finally P01 ) )
+296,"go to P11 before going to P03 .
+",Finally ( P11 And ( Finally P03 ) ),Finally ( P11 And ( Finally P03 ) )
+297,"go up to P08 without going to P11 .
+",Finally ( P08 And ( Not P11 ) ),Finally ( P08 And ( Not P11 ) )
+298,"avoid P05 and go to P09 .
+",Finally ( P09 And ( Not P05 ) ),Finally ( P09 And ( Not P05 ) )
+299,"avoid P02 and go to P12
+",Finally ( P12 And ( Not P02 ) ),Finally ( P12 And ( Not P02 ) )
+300,"P01 must be executed before moving on to P04.
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+301,"go to P03 without going to P01 .
+",Finally ( P03 And ( Not P01 ) ),Finally ( P03 And ( Not P01 ) )
+302,"Bypass P02 and directly proceed to P04.
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+303,"go to P02 and then navigate to P05 .
+",Finally ( P02 And ( Finally P05 ) ),Finally ( P02 And ( Finally P05 ) )
+304,"navigate to P11 through P05 .
+",Finally ( P05 And ( Finally P11 ) ),Finally ( P05 And ( Finally P11 ) )
+305,"avoid P06 until after navigating to P02 .
+",( Not P06 ) Until P02,( Not P06 ) Until P02
+306,"P03 should always precede P04.
+",Finally ( P03 And ( Finally P04 ) ),P03 Until ( Globally ( Finally P04 ) )
+307,"P04 but avoid the P01
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+308,"avoid P06 until reaching P10 .
+",( Not P06 ) Until P10,( Not P06 ) Until P10
+309,"move to P02 and then push the object into P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+310,"always avoid P04 , go to P07 .
+",Finally ( P07 And ( Not P04 ) ),Finally ( P07 And ( Not P04 ) )
+311,"go to P04
+",Finally P04,Finally P04
+312,"Each time step upholds the validity of P02 and P01.
+",Globally ( P02 And P01 ),Globally ( P02 And P01 )
+313,"do not enter the P01 through the P03 but by P02
+",( Finally P02 ) And ( Globally ( Not ( P01 Or P03 ) ) ),( P02 And ( Finally P01 ) ) And ( Globally ( Not P03 ) )
+314,"Bypass P05 and execute P11 directly.
+",Finally ( P11 And ( Not P05 ) ),Finally ( P11 And ( Not P05 ) )
+315,"avoid P03 and travel to P06 .
+",Finally ( P06 And ( Not P03 ) ),Finally ( P06 And ( Not P03 ) )
+316,"go to P09 but do not go through P03 first .
+",( Not P03 ) Until P09,( Not P03 ) Until P09
+317,"go to P09 , then go to P03 .
+",Finally ( P09 And ( Finally P03 ) ),Finally ( P09 And ( Finally P03 ) )
+318,"go through P04 to P02 .
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+319,"always avoid P12 and go to P09 .
+",Finally ( P09 And ( Not P12 ) ),Finally ( P09 And ( Not P12 ) )
+320,"move to P12 .
+",Finally P12,Finally P12
+321,"go through P02 to P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+322,"go to P08 and then go directly to P07 .
+",Finally ( P08 And ( Finally P07 ) ),Finally ( P08 And ( Finally P07 ) )
+323,"P03
+",Finally P03,Finally P03
+324,"navigate to P07 through P08 .
+",Finally ( P08 And ( Finally P07 ) ),Finally ( P08 And ( Finally P07 ) )
+325,"go to P09 but avoid P02 .
+",Finally ( P09 And ( Not P02 ) ),Finally ( P09 And ( Not P02 ) )
+326,"go to P11 through P08 .
+",Finally ( P08 And ( Finally P11 ) ),Finally ( P08 And ( Finally P11 ) )
+327,"go from P01 to P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+328,"avoid P06 and go to P03 .
+",Finally ( P03 And ( Not P06 ) ),Finally ( P03 And ( Not P06 ) )
+329,"P02 needs to be executed before initiating P01.
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+330,"go to P02 by first visiting P12 .
+",Finally ( P12 And ( Finally P02 ) ),Finally ( P12 And ( Finally P02 ) )
+331,"do not navigate away from P09 and go to P05 .
+",( Finally P05 ) And ( Globally P09 ),( Finally P05 ) And ( Globally P09 )
+332,"navigate to P06 but never go to P04 .
+",Finally ( P06 And ( Not P04 ) ),Finally ( P06 And ( Not P04 ) )
+333,"enter the room that isn t  P04 and proceed through to P02
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+334,"go directly to P12 .
+",Finally P12,Finally P12
+335,"go to P07 before you navigate to P12 .
+",Finally ( P07 And ( Finally P12 ) ),Finally ( P07 And ( Finally P12 ) )
+336,"go to P05 and then navigate to P02 .
+",Finally ( P05 And ( Finally P02 ) ),Finally ( P05 And ( Finally P02 ) )
+337,"go through P04 into the P01
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+338,"while remaining within P06 , go to P12 .
+",( Finally P12 ) And ( Globally P06 ),( Finally P12 ) And ( Globally P06 )
+339,"go through P11 to P01 .
+",Finally ( P11 And ( Finally P01 ) ),Finally ( P11 And ( Finally P01 ) )
+340,"go into P02 and enter the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+341,"To execute P04, either P02 or P03 must be completed first.
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+342,"move to P12 without leaving P08 .
+",( Finally P12 ) And ( Globally P08 ),( Finally P12 ) And ( Globally P08 )
+343,"go through the P02 or P03 to enter P04
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+344,"go to P12 and avoid P03 .
+",Finally ( P12 And ( Not P03 ) ),Finally ( P12 And ( Not P03 ) )
+345,"always go to P12 before P10 .
+",Finally ( P12 And ( Finally P10 ) ),Finally ( P12 And ( Finally P10 ) )
+346,"avoid P05 until after going to P09 .
+",( Not P05 ) Until P09,( Not P05 ) Until P09
+347,"Maintain distance from P04 until successfully reaching P09.
+",( Not P04 ) Until P09,( Not P04 ) Until P09
+348,"go to P05 and then navigate to P03 .
+",Finally ( P05 And ( Finally P03 ) ),Finally ( P05 And ( Finally P03 ) )
+349,"go to P09 then go to P07 .
+",Finally ( P09 And ( Finally P07 ) ),Finally ( P09 And ( Finally P07 ) )
+350,"P01 via the P03
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+351,"P01 and P02 cannot be executed at the same time.
+",Globally ( Not ( P01 And P02 ) ),Globally ( Not ( P01 And P02 ) )
+352,"Eventually, move and complete P01.
+",Finally P01,Finally P01
+353,"while always avoiding P06 , go to P11 .
+",Finally ( P11 And ( Not P06 ) ),Finally ( P11 And ( Not P06 ) )
+354,"Ensure that every fifth step adheres to the P02 rule set.
+",Finally ( P02 And ( Finally ( Next P02 ) ) ),P02 And ( Globally ( P02 Imply ( ( Next ( Not P02 ) ) And ( Next ( Next ( Not P02 ) ) ) And ( Next ( Next ( Next ( Not P02 ) ) ) ) And ( Next ( Next ( Next ( Next ( Not P02))))) And (Next (Next (Next (Next (Next P02 ) ) ) ) ) ) ) )
+355,"without leaving P06 go to P10 .
+",( Finally P10 ) And ( Globally P06 ),( Finally P10 ) And ( Globally P06 )
+356,"navigate to P06 by passing through P09 .
+",Finally ( P09 And ( Finally P06 ) ),Finally ( P09 And ( Finally P06 ) )
+357,"always avoid P01 and navigate to P08 .
+",Finally ( P08 And ( Not P01 ) ),Finally ( P08 And ( Not P01 ) )
+358,"P04 must always eventually occur after P02.
+",Finally ( P02 And ( Finally P04 ) ),Globally ( P02 Imply ( Next P04 ) )
+359,"P06 must be completed before P03 can be started.
+",Finally ( P06 And ( Finally P03 ) ),( Not P06 ) Until P03
+360,"navigate to P03 always avoiding P05 .
+",Finally ( P03 And ( Not P05 ) ),Finally ( P03 And ( Not P05 ) )
+361,"While in the scope of P04, P12 should be eventually executed.
+",( Finally P12 ) And ( Globally P04 ),( Finally P12 ) And ( Globally P04 )
+362,"go to P12 then go to P09 .
+",Finally ( P12 And ( Finally P09 ) ),Finally ( P12 And ( Finally P09 ) )
+363,"P03 can be executed independently without the requirement of completing P05.
+",( Not P05 ) Until P03,Finally ( P03 And ( Not P05 ) )
+364,"avoid P05 until you go to P01 .
+",( Not P05 ) Until P01,( Not P05 ) Until P01
+365,"pass through P11 before going to P07 .
+",Finally ( P11 And ( Finally P07 ) ),Finally ( P11 And ( Finally P07 ) )
+366,"pass through the P02 to the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+367,"stay in P03 to get to P12 .
+",( Finally P12 ) And ( Globally P03 ),( Finally P12 ) And ( Globally P03 )
+368,"P02 while avoiding P04
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+369,"go directly to P11 by only moving in P04 .
+",( Finally P11 ) And ( Globally P04 ),( Finally P11 ) And ( Globally P04 )
+370,"go through P03 to P11 .
+",Finally ( P03 And ( Finally P11 ) ),Finally ( P03 And ( Finally P11 ) )
+371,"Proceed through P03 or P02 before advancing to P04.
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+372,"avoid P10 until you pass through P05 .
+",( Not P10 ) Until P05,( Not P10 ) Until P05
+373,"always pass P12 before P11 .
+",Finally ( P12 And ( Finally P11 ) ),Finally ( P12 And ( Finally P11 ) )
+374,"Whenever P01 and P02 do not hold, P03 holds eventually.
+",Globally ( ( Not ( P01 And P02 ) ) Imply ( Finally P03 ) ),Globally ( ( Not ( P01 And P02 ) ) Imply ( Finally P03 ) )
+375,"P03 needs to be the prevailing scenario until a certain point, beyond which P04 holds infinitely often.
+",P03 Until ( Globally ( Finally P04 ) ),P03 Until ( Globally ( Finally P04 ) )
+376,"go through the P03 to reach P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+377,"P04 shouldn't be executed until the completion of P09.
+",( Not P04 ) Until P09,( Not P04 ) Until P09
+378,"always avoid P03 , go to P07 .
+",Finally ( P07 And ( Not P03 ) ),Finally ( P07 And ( Not P03 ) )
+379,"go through the P01 to P02
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+380,"Bypass P04 and execute P09.
+",Finally ( P09 And ( Not P04 ) ),Finally ( P09 And ( Not P04 ) )
+381,"P01 is always equivalent to P02 in the step that follows.
+",Globally ( P01 Equally ( Next P02 ) ),Globally ( P01 Equally ( Next P02 ) )
+382,"move to P02
+",Finally P02,Finally P02
+383,"go to the P02
+",Finally P02,Finally P02
+384,"go to P08 through P10 .
+",Finally ( P10 And ( Finally P08 ) ),Finally ( P10 And ( Finally P08 ) )
+385,"visit P01 and then move to P08 .
+",Finally ( P01 And ( Finally P08 ) ),Finally ( P01 And ( Finally P08 ) )
+386,"P04 must be delayed until after the completion of P01.
+",( Not P04 ) Until P01,( Not P04 ) Until P01
+387,"Execution of either P01 or P02 must be ensured indefinitely.
+",Globally ( ( Finally P01 ) Or ( Finally P02 ) ),( Globally ( Finally P01 ) ) Or ( Globally ( Finally P02 ) )
+388,"go to P03 without going through P06 .
+",( Not P06 ) Until P03,( Not P06 ) Until P03
+389,"go from P07 to P02 .
+",Finally ( P07 And ( Finally P02 ) ),Finally ( P07 And ( Finally P02 ) )
+390,"go to P08 but never go to P05 .
+",Finally ( P08 And ( Not P05 ) ),Finally ( P08 And ( Not P05 ) )
+391,"go through P10 and navigate to P04 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+392,"P04 but do not enter the P01
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+393,"Traverse via smaller P02 to approach larger P04.
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+394,"travel to the P01 through the room that isn t P03
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+395,"go through P10 and navigate to P03 .
+",Finally ( P10 And ( Finally P03 ) ),Finally ( P10 And ( Finally P03 ) )
+396,"avoid P04 , navigate to P03 .
+",Finally ( P03 And ( Not P04 ) ),Finally ( P03 And ( Not P04 ) )
+397,"move to P08 by going through P05
+",Finally ( P05 And ( Finally P08 ) ),Finally ( P05 And ( Finally P08 ) )
+398,"navigate through P12 and go to P06 .
+",Finally ( P12 And ( Finally P06 ) ),Finally ( P12 And ( Finally P06 ) )
+399,"go to P08 without going into P04
+",Finally ( P08 And ( Not P04 ) ),Finally ( P08 And ( Not P04 ) )
+400,"Progress towards P04 before transitioning to P12.
+",Finally ( P04 And ( Finally P12 ) ),Finally ( P04 And ( Finally P12 ) )
+401,"P04 should be executed.
+",Finally P04,Finally P04
+402,"always navigate to P05 and then proceed to P08 .
+",Finally ( P05 And ( Finally P08 ) ),Finally ( P05 And ( Finally P08 ) )
+403,"go to P07 and avoid P11 .
+",Finally ( P07 And ( Not P11 ) ),Finally ( P07 And ( Not P11 ) )
+404,"move from your room to the P01
+",Finally P01,Finally P01
+405,"avoid P03 until you enter P02 .
+",( Not P03 ) Until P02,( Not P03 ) Until P02
+406,"instead of going through P02 move through the P01 to enter P02
+",( Finally P02 ) And ( Globally ( Not P01 ) ),Finally ( ( Not P02 ) Until ( Finally ( P01 And ( Finally P04 ) ) ) )
+407,"P09 should precede P03, ensuring a path from P09 to P03.
+",Finally ( P09 And ( Finally P03 ) ),Finally ( P09 And ( Finally P03 ) )
+408,"move to the large P01 while avoiding the small P03
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+409,"go to P05 without going through P02 .
+",( Not P02 ) Until P05,( Not P02 ) Until P05
+410,"go to P02 go to far wall go to chair push chair to P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+411,"P02 get the chair then P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+412,"Navigate to P06 and subsequently transition to P12.
+",Finally ( P06 And ( Finally P12 ) ),Finally ( P06 And ( Finally P12 ) )
+413,"Either P04 or P03 should be completed followed by an execution of P02.
+",Finally ( ( P04 Or P03 ) And ( Finally P02 ) ),Finally ( ( P04 Or P03 ) And ( Finally P02 ) )
+414,"Execute P02 first, and then continue to P08.
+",Finally ( P02 And ( Finally P08 ) ),Finally ( P02 And ( Finally P08 ) )
+415,"P03
+",Finally P03,Finally P03
+416,"P01 should be executed before P02.
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+417,"go to P03 , then go to P09 .
+",Finally ( P03 And ( Finally P09 ) ),Finally ( P03 And ( Finally P09 ) )
+418,"Keep P12 at bay until you have passed through P03. 
+",( Not P12 ) Until P03,( Not P12 ) Until P03
+419,"go to P06 by first going through P10 .
+",Finally ( P10 And ( Finally P06 ) ),Finally ( P10 And ( Finally P06 ) )
+420,"visit P09 and then proceed to P07 .
+",Finally ( P09 And ( Finally P07 ) ),Finally ( P09 And ( Finally P07 ) )
+421,"move to P10 and then proceed to P05 .
+",Finally ( P10 And ( Finally P05 ) ),Finally ( P10 And ( Finally P05 ) )
+422,"stay in P05 to get to P10 .
+",( Finally P10 ) And ( Globally P05 ),( Finally P10 ) And ( Globally P05 )
+423,"P03 is to be maintained universally until a specific juncture, beyond which P04 holds infinitely often.
+",P03 Until ( Globally ( Finally P04 ) ),P03 Until ( Globally ( Finally P04 ) )
+424,"P02 and then go into the P03
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+425,"Proceed towards P03 via the execution of P04.
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+426,"P04 only through the P03
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+427,"navigate to P06 , always avoiding P04 .
+",Finally ( P06 And ( Not P04 ) ),Finally ( P06 And ( Not P04 ) )
+428,"go through P09 to P11 .
+",Finally ( P09 And ( Finally P11 ) ),Finally ( P09 And ( Finally P11 ) )
+429,"go to P10 but do not first go through P01 .
+",( Not P01 ) Until P10,( Not P01 ) Until P10
+430,"Navigate through P04 to reach P08.
+",Finally ( P04 And ( Finally P08 ) ),Finally ( P04 And ( Finally P08 ) )
+431,"move to the P03 without entering a P04
+",( Finally P03 ) And ( Globally ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+432,"take the P01 first which leads to P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+433,"P12 and P05 can independently be executed, but the execution of P12 must never affect P05.
+",( Finally P12 ) And ( Globally P05 ),Finally ( P12 And ( Not P05 ) )
+434,"P01
+",Finally P01,Finally P01
+435,"go to P05 without going to P06
+",Finally ( P05 And ( Not P06 ) ),Finally ( P05 And ( Not P06 ) )
+436,"go to the P02
+",Finally P02,Finally P02
+437,"avoid P06 on your way to P11 .
+",( Not P06 ) Until P11,( Not P06 ) Until P11
+438,"stay on P09 to get to P10 .
+",( Finally P10 ) And ( Globally P09 ),( Finally P10 ) And ( Globally P09 )
+439,"proceed to P03 but do n't leave P07 .
+",( Finally P03 ) And ( Globally P07 ),( Finally P03 ) And ( Globally P07 )
+440,"go to P03 , then proceed to P12 .
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+441,"P04
+",Finally P04,Finally P04
+442,"enter P02 via P01
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+443,"go to P03 without going to  P04
+",Finally ( P03 And ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+444,"Navigate towards P01 while avoiding P04 consistently.
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+445,"avoid P01 until going through P10 .
+",( Not P01 ) Until P10,( Not P01 ) Until P10
+446,"go to P05 through P07
+",Finally ( P07 And ( Finally P05 ) ),Finally ( P07 And ( Finally P05 ) )
+447,"go to P04 before going to P06 .
+",Finally ( P04 And ( Finally P06 ) ),Finally ( P04 And ( Finally P06 ) )
+448,"always avoid going to P10 through P03
+",( Not P03 ) Until P10,( Not P03 ) Until P10
+449,"move to P03 and then P06 .
+",Finally ( P03 And ( Finally P06 ) ),Finally ( P03 And ( Finally P06 ) )
+450,"navigate to P08 through P05 .
+",Finally ( P05 And ( Finally P08 ) ),Finally ( P05 And ( Finally P08 ) )
+451,"go to P12 while always avoiding P03 .
+",Finally ( P12 And ( Not P03 ) ),Finally ( P12 And ( Not P03 ) )
+452,"go to P03 , then go to P06 .
+",Finally ( P03 And ( Finally P06 ) ),Finally ( P03 And ( Finally P06 ) )
+453,"go to P07 avoiding P10 .
+",Finally ( P07 And ( Not P10 ) ),Finally ( P07 And ( Not P10 ) )
+454,"You should first move to P01, and after its completion, proceed to P12.
+",Finally ( P01 And ( Finally P12 ) ),Finally ( P01 And ( Finally P12 ) )
+455,"while avoiding P02 follow the shortest path to the P01
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+456,"go to P10 and remain within P02 .
+",( Finally P10 ) And ( Globally P02 ),( Finally P10 ) And ( Globally P02 )
+457,"avoid P02s while going to the P03 one
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+458,"avoid P05 until after navigating to P03 .
+",( Not P05 ) Until P03,( Not P05 ) Until P03
+459,"navigate to P07 and avoid P12 .
+",Finally ( P07 And ( Not P12 ) ),Finally ( P07 And ( Not P12 ) )
+460,"Always proceed with execution of P03 before P12.
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+461,"avoid P12 until you pass through P01 .
+",( Not P12 ) Until P01,( Not P12 ) Until P01
+462,"goto P02 push object to P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+463,"stay away from P01 and go to P10 .
+",Finally ( P10 And ( Not P01 ) ),Finally ( P10 And ( Not P01 ) )
+464,"Infinitely often, the condition of either P01 or P02 holds.
+",( Globally ( Finally P01 ) ) Or ( Globally ( Finally P02 ) ),( Globally ( Finally P01 ) ) Or ( Globally ( Finally P02 ) )
+465,"go to P08 and then head to P10 .
+",Finally ( P08 And ( Finally P10 ) ),Finally ( P08 And ( Finally P10 ) )
+466,"Always (P02 is avoided) while going to P07.
+",Finally ( P07 And ( Not P02 ) ),Finally ( P07 And ( Not P02 ) )
+467,"Execution should always start from P02 and eventually lead to P03.
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+468,"enter P03 via P04
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+469,"go from P07 to P10 .
+",Finally ( P07 And ( Finally P10 ) ),Finally ( P07 And ( Finally P10 ) )
+470,"Execute P07 before proceeding to P10.
+",Finally ( P07 And ( Finally P10 ) ),Finally ( P07 And ( Finally P10 ) )
+471,"With the happening of P01, P02 will not happen again.
+",Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) ),Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) )
+472,"P03 but avoid P02
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+473,"go to P04 , then go to P02 .
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+474,"go through P01 before going to P10
+",Finally ( P01 And ( Finally P10 ) ),( Not P10 ) Until P01
+475,"Move into P01 by executing P04 initially.
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+476,"go to P08 but never go to P03 .
+",Finally ( P08 And ( Not P03 ) ),Finally ( P08 And ( Not P03 ) )
+477,"If P03 is true, then P02 should be true in the next step, unless P01 becomes true or P02 remains always true.
+",( P03 Imply ( Next ( P02 Or ( P01 And ( Next P02 ) ) ) ) ) Or ( Globally ( P02 Or ( P01 And ( Next P02 ) ) ) ),P03 Imply ( Next ( ( P02 Until P01 ) Or ( Globally P02 ) ) )
+478,"travel through P04 then go to P03 .
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+479,"go to P04 without going through P02 .
+",( Not P02 ) Until P04,( Not P02 ) Until P04
+480,"go through P02 to the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+481,"navigate to P08 but do n't ever go to P11 .
+",Finally ( P08 And ( Not P11 ) ),Finally ( P08 And ( Not P11 ) )
+482,"The execution of P04 must precede that of P03.
+",( Finally P04 ) And ( Globally ( Not P03 ) ),Finally ( P04 And ( Finally P03 ) )
+483,"avoid P02 until you enter P01 .
+",( Not P02 ) Until P01,( Not P02 ) Until P01
+484,"P02 is always true, and whenever P03 is true, P01 is not.
+",( Globally P02 ) And ( Globally ( P03 Imply ( Not P01 ) ) ),( Globally P02 ) And ( Globally ( P03 Imply ( Not P01 ) ) )
+485,"always avoid P03 to navigate to P10 .
+",Finally ( P10 And ( Not P03 ) ),Finally ( P10 And ( Not P03 ) )
+486,"avoid P04 and go to P03 .
+",Finally ( P03 And ( Not P04 ) ),Finally ( P03 And ( Not P04 ) )
+487,"P03
+",Finally P03,Finally P03
+488,"avoid P04 until you go to P10 .
+",( Not P04 ) Until P10,( Not P04 ) Until P10
+489,"P02 and P04 can occur independently and either may be executed without affecting the other.
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P04 And ( Finally P02 ) )
+490,"enter the  P04 or P02 and then continue to the P01
+",Finally ( ( P04 Or P02 ) And ( Finally P01 ) ),Finally ( ( P02 Or P04 ) And ( Finally P01 ) )
+491,"go through P04 into the P01
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+492,"stay in P03 and go to P11 and stop
+",( Finally P11 ) And ( Globally P03 ),( Finally P11 ) And ( Globally P03 )
+493,"go through P02 to P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+494,"move through a P01 and into the P03
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+495,"go to P07 , then navigate to P03 .
+",Finally ( P07 And ( Finally P03 ) ),Finally ( P07 And ( Finally P03 ) )
+496,"go into the P03
+",Finally P03,Finally P03
+497,"P04 and then P02
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+498,"move to P03 or P02 them move to P04
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+499,"The execution of P02 entirely depends upon the completion of P01.
+",( Not P02 ) Until P01,( Not P02 ) Until P01
+500,"always avoid P05 and go to P10 .
+",Finally ( P10 And ( Not P05 ) ),Finally ( P10 And ( Not P05 ) )
+501,"travel to P04 without going through P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+502,"P08 must be maintained as P03 is executed.
+",( Globally P03 ) Until P08,( Finally P03 ) And ( Globally P08 )
+503,"Execute P04 independently.
+",Finally P04,Finally P04
+504,"P02 should be executed.
+",Finally P02,Finally P02
+505,"When P01 happens, P02 will not happen thereafter.
+",Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) ),Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) )
+506,"go through P02 to P05 .
+",Finally ( P02 And ( Finally P05 ) ),Finally ( P02 And ( Finally P05 ) )
+507,"P02 can be executed independently, while avoiding the execution of P03.
+",( Finally P02 ) And ( Globally ( Not P03 ) ),Finally ( P02 And ( Not P03 ) )
+508,"go to P10 and remain within P05 .
+",( Finally P10 ) And ( Globally P05 ),( Finally P10 ) And ( Globally P05 )
+509,"P05 must be completed before P03.
+",Finally ( P05 And ( Finally P03 ) ),Finally ( P05 And ( Finally P03 ) )
+510,"go through P06 , then make your way to P12 .
+",Finally ( P06 And ( Finally P12 ) ),Finally ( P06 And ( Finally P12 ) )
+511,"navigate to P09 then continue to P12 .
+",Finally ( P09 And ( Finally P12 ) ),Finally ( P09 And ( Finally P12 ) )
+512,"go through P05 before going to P11
+",Finally ( P05 And ( Finally P11 ) ),( Not P11 ) Until P05
+513,"Only after navigating through P04, move towards the P03 area.
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+514,"P03 remains in effect until P02 takes effect, or P03 remains in effect indefinitely.
+",( P03 Until P02 ) Or ( Globally P03 ),( P03 Until P02 ) Or ( Globally P03 )
+515,"go to P11 and then go to P06 .
+",Finally ( P11 And ( Finally P06 ) ),Finally ( P11 And ( Finally P06 ) )
+516,"To reach P04, the only permissible paths are either via P02 or P01.
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+517,"go to P11 but do not enter P06 first .
+",( Not P06 ) Until P11,( Not P06 ) Until P11
+518,"P03 and do not use P04
+",( Finally P03 ) And ( Globally ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+519,"go to P12 but remain on P08 .
+",( Finally P12 ) And ( Globally P08 ),( Finally P12 ) And ( Globally P08 )
+520,"P03
+",Finally P03,Finally P03
+521,"avoid P06 until passing P11 .
+",( Not P06 ) Until P11,( Not P06 ) Until P11
+522,"visit P04 and then move to P09 .
+",Finally ( P04 And ( Finally P09 ) ),Finally ( P04 And ( Finally P09 ) )
+523,"P04 either through the P03 or through the P01 only
+",Finally ( ( P03 Or P01 ) And ( Finally P04 ) ),Finally ( ( P03 Or P01 ) And ( Finally P04 ) )
+524,"Bypass P03 and maneuver towards the execution of P12.
+",Finally ( P12 And ( Not P03 ) ),Finally ( P12 And ( Not P03 ) )
+525,"Proceed to P01 only after executing either of P03 or P04.
+",Finally ( ( P04 Or P03 ) And ( Finally P01 ) ),Finally ( ( P04 Or P03 ) And ( Finally P01 ) )
+526,"go through P02 to the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+527,"go to P05 without going to P06 .
+",Finally ( P05 And ( Not P06 ) ),Finally ( P05 And ( Not P06 ) )
+528,"go to P03 , then go to P04 .
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+529,"In the occurrence that P02 holds, from the next step onward, P01 will hold at some point.
+",P02 Imply ( Next ( Finally P01 ) ),Globally ( P02 Imply ( Next ( Finally P01 ) ) )
+530,"go from the P02 to the P03 then go from the P03 to P04
+",Finally ( P02 And ( Finally ( P03 And ( Finally P04 ) ) ) ),Finally ( P02 And ( Finally ( P03 And ( Finally P04 ) ) ) )
+531,"Given that P02 holds, from the next step on, P01 will hold at some point.
+",Globally ( P02 And ( Next ( Finally P01 ) ) ),Globally ( P02 Imply ( Next ( Finally P01 ) ) )
+532,"Bypass P01 to execute P04.
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+533,"Move towards P04, followed by P05.
+",Finally ( P04 And ( Finally P05 ) ),Finally ( P04 And ( Finally P05 ) )
+534,"Go through P03 eventually to execute P01.
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+535,"P10 must be reached before accessing P09.
+",Finally ( P10 And ( Finally P09 ) ),Finally ( P10 And ( Finally P09 ) )
+536,"go up to P09 without going to P11 .
+",Finally ( P09 And ( Not P11 ) ),Finally ( P09 And ( Not P11 ) )
+537,"avoid P04 until navigating to P02 .
+",( Not P04 ) Until P02,( Not P04 ) Until P02
+538,"move to the P03
+",Finally P03,Finally P03
+539,"P11 can be accessed yet remaining at P09 is mandated.
+",( Finally P11 ) And ( Globally P09 ),( Finally P11 ) And ( Globally P09 )
+540,"enter the P01 without entering a P03
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+541,"Execute P02 while avoiding P04.
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+542,"go through P10 to P12 .
+",Finally ( P10 And ( Finally P12 ) ),Finally ( P10 And ( Finally P12 ) )
+543,"go through P04 into the P03
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+544,"go to P07 while always avoiding P02 .
+",Finally ( P07 And ( Not P02 ) ),Finally ( P07 And ( Not P02 ) )
+545,"go to P04
+",Finally P04,Finally P04
+546,"always avoid P02 while navigating to P08 .
+",Finally ( P08 And ( Not P02 ) ),Finally ( P08 And ( Not P02 ) )
+547,"go into the P03 without going through P02
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+548,"the robot moves towards the P03 through the P01
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+549,"move to P08 by going through P01
+",Finally ( P01 And ( Finally P08 ) ),Finally ( P01 And ( Finally P08 ) )
+550,"navigate to P09 and avoid P11 .
+",Finally ( P09 And ( Not P11 ) ),Finally ( P09 And ( Not P11 ) )
+551,"avoid P02 until you go to P07 .
+",( Not P02 ) Until P07,( Not P02 ) Until P07
+552,"first go to to P10 then go to P06 .
+",Finally ( P10 And ( Finally P06 ) ),Finally ( P10 And ( Finally P06 ) )
+553,"go to P03 while always avoiding P02
+",Finally ( P03 And ( Not P02 ) ),Finally ( P03 And ( Not P02 ) )
+554,"always go through P01 to get to P05 .
+",Finally ( P01 And ( Finally P05 ) ),Finally ( P01 And ( Finally P05 ) )
+555,"P12 needs to be executed while maintaining execution on P07.
+",( Finally P12 ) And ( Globally P07 ),( Finally P12 ) And ( Globally P07 )
+556,"navigate to P05 through P01 .
+",Finally ( P01 And ( Finally P05 ) ),Finally ( P01 And ( Finally P05 ) )
+557,"avoid P01 and travel to P03 .
+",Finally ( P03 And ( Not P01 ) ),Finally ( P03 And ( Not P01 ) )
+558,"P03 must be executed.
+",Finally P03,Finally P03
+559,"move to P03 and then move to P10 .
+",Finally ( P03 And ( Finally P10 ) ),Finally ( P03 And ( Finally P10 ) )
+560,"always avoid P12 , and navigate to P10 .
+",Finally ( P10 And ( Not P12 ) ),Finally ( P10 And ( Not P12 ) )
+561,"You must reach P09 without progressing to P10.
+",Finally ( P09 And ( Not P10 ) ),Finally ( P09 And ( Not P10 ) )
+562,"go to P02 but do not enter P03 first .
+",( Not P03 ) Until P02,( Not P03 ) Until P02
+563,"navigate to P03 after going to P07 .
+",Finally ( P07 And ( Finally P03 ) ),Finally ( P07 And ( Finally P03 ) )
+564,"go to P07 , then go to P02 .
+",Finally ( P07 And ( Finally P02 ) ),Finally ( P07 And ( Finally P02 ) )
+565,"go to P02 go to P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+566,"P04 by first entering P02
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+567,"Transition should take place to a room that's not P04 and then proceed through the room towards P01.
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+568,"go to the P01 area through P03 area
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+569,"avoid P06 and travel to P03 .
+",Finally ( P03 And ( Not P06 ) ),Finally ( P03 And ( Not P06 ) )
+570,"go to P04 by first going through P12 .
+",Finally ( P12 And ( Finally P04 ) ),Finally ( P12 And ( Finally P04 ) )
+571,"go to P04 without going to P06 .
+",Finally ( P04 And ( Not P06 ) ),Finally ( P04 And ( Not P06 ) )
+572,"P04 should be executed with avoidance of P01.
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+573,"robot , go to P03 .
+",Finally P03,Finally P03
+574,"navigate to P02 after going to P09 .
+",Finally ( P09 And ( Finally P02 ) ),Finally ( P09 And ( Finally P02 ) )
+575,"navigate to P06 but never go to P02 .
+",Finally ( P06 And ( Not P02 ) ),Finally ( P06 And ( Not P02 ) )
+576,"go to P03 , but do not go to P06 .
+",Finally ( P03 And ( Not P06 ) ),Finally ( P03 And ( Not P06 ) )
+577,"Stay away from P15 and find the P08
+",( Globally ( Not P15 ) ) And ( Finally P08 ),( Globally ( Not P15 ) ) And ( Finally P08 )
+578,"P04 should be avoided for the successful execution of P02.
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+579,"go to P10 always avoiding P01 .
+",Finally ( P10 And ( Not P01 ) ),Finally ( P10 And ( Not P01 ) )
+580,"enter P02 without crossing the  P04 one
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+581,"P04 while avoiding the P01 on the way
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+582,"Always execute P11, and concurrently avoid P12.
+",Finally ( P11 And ( Not P12 ) ),Finally ( P11 And ( Not P12 ) )
+583,"go through the P02 or P03 to the P01
+",Finally ( ( P02 Or P03 ) And ( Finally P01 ) ),Finally ( ( P02 Or P03 ) And ( Finally P01 ) )
+584,"go through P10 to P02 .
+",Finally ( P10 And ( Finally P02 ) ),Finally ( P10 And ( Finally P02 ) )
+585,"avoid P03 until after navigating to P05 .
+",( Not P03 ) Until P05,( Not P03 ) Until P05
+586,"move to P03 .
+",Finally P03,Finally P03
+587,"Initially, P05 should be executed, and then P12 should be executed.
+",Finally ( P05 And ( Finally P12 ) ),Finally ( P05 And ( Finally P12 ) )
+588,"move to P02 and move the chair into the P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+589,"go to P06 without going to P02
+",Finally ( P06 And ( Not P02 ) ),Finally ( P06 And ( Not P02 ) )
+590,"P04 must be executed before proceeding to P10.
+",Finally ( P04 And ( Finally P10 ) ),Finally ( P04 And ( Finally P10 ) )
+591,"go from P07 to P11 .
+",Finally ( P07 And ( Finally P11 ) ),Finally ( P07 And ( Finally P11 ) )
+592,"go up through the P03 into the P01
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+593,"P02 should be performed first, followed by P04.
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+594,"In the event of P03, P06 will follow suit in time.
+",Globally ( P03 Imply ( Finally P06 )),Globally ( P03 Imply ( Finally P06 ))
+595,"avoid P11 until reaching P01 .
+",( Not P11 ) Until P01,( Not P11 ) Until P01
+596,"go through P09 to P03 .
+",Finally ( P09 And ( Finally P03 ) ),Finally ( P09 And ( Finally P03 ) )
+597,"P02 without passing through P04
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+598,"P15 should be stayed on until P01 is reached.
+",( Globally P15 ) And ( Finally P01 ),( Globally P15 ) And ( Finally P01 )
+599,"go to P08 via P02 .
+",Finally ( P02 And ( Finally P08 ) ),Finally ( P02 And ( Finally P08 ) )
+600,"always avoid P10 and go to P08 .
+",Finally ( P08 And ( Not P10 ) ),Finally ( P08 And ( Not P10 ) )
+601,"navigate to P09 but do n't ever go to P11 .
+",Finally ( P09 And ( Not P11 ) ),Finally ( P09 And ( Not P11 ) )
+602,"move to P04 first then travel to P11 .
+",Finally ( P04 And ( Finally P11 ) ),Finally ( P04 And ( Finally P11 ) )
+603,"avoid P06 until you enter P01 .
+",( Not P06 ) Until P01,( Not P06 ) Until P01
+604,"go from the P02 to the P01 and then go from the P01 to P04
+",Finally ( P02 And ( Finally ( P01 And ( Finally P04 ) ) ) ),Finally ( P02 And ( Finally ( P01 And ( Finally P04 ) ) ) )
+605,"go into the P03 and then go into P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+606,"go to P02 through P06 .
+",Finally ( P06 And ( Finally P02 ) ),Finally ( P06 And ( Finally P02 ) )
+607,"navigate to P09 but do n't ever go to P12 .
+",Finally ( P09 And ( Not P12 ) ),Finally ( P09 And ( Not P12 ) )
+608,"P01
+",Finally P01,Finally P01
+609,"avoid P03 until reaching P09 .
+",( Not P03 ) Until P09,( Not P03 ) Until P09
+610,"travel through P04 to P02
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+611,"enter P02 without entering a P04
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+612,"P03 but avoid using the P01
+",( Finally P03 ) And ( Globally ( Not P01 ) ),( Finally P03 ) And ( Globally ( Not P01 ) )
+613,"go through the  P04 or P03 to P02
+",Finally ( ( P04 Or P03 ) And ( Finally P02 ) ),Finally ( ( P04 Or P03 ) And ( Finally P02 ) )
+614,"stay on P07 and navigate to P10 .
+",( Finally P10 ) And ( Globally P07 ),( Finally P10 ) And ( Globally P07 )
+615,"P01 is ceaselessly the same as P02 in the subsequent step.
+",Globally ( P01 Equally ( Next P02 ) ),Globally ( P01 Equally ( Next P02 ) )
+616,"While in P03, proceed to P10.
+",( Finally P10 ) And ( Globally P03 ),( Finally P10 ) And ( Globally P03 )
+617,"avoid P11 until you pass through P04 .
+",( Not P11 ) Until P04,( Not P11 ) Until P04
+618,"go through the P02 or the P01 to get to P04
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+619,"always go through P04 before going to P11 .
+",Finally ( P04 And ( Finally P11 ) ),Finally ( P04 And ( Finally P11 ) )
+620,"navigate through P10 then go to P11 .
+",Finally ( P10 And ( Finally P11 ) ),Finally ( P10 And ( Finally P11 ) )
+621,"go through the P02 or P03 and P01
+",Finally ( ( P02 Or P03 ) And ( Finally P01 ) ),Finally ( ( P02 Or P03 ) And ( Finally P01 ) )
+622,"The process path requires passing through P01 and up to P04. 
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+623,"go through P06 before going to P03 .
+",Finally ( P06 And ( Finally P03 ) ),Finally ( P06 And ( Finally P03 ) )
+624,"move to P02 and then P05 .
+",Finally ( P02 And ( Finally P05 ) ),Finally ( P02 And ( Finally P05 ) )
+625,"go through P03 to reach  P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+626,"go to P03 before going to P02 .
+",Finally ( P03 And ( Finally P02 ) ),Finally ( P03 And ( Finally P02 ) )
+627,"avoid P05 until reaching P07 .
+",( Not P05 ) Until P07,( Not P05 ) Until P07
+628,"P02 always sets the stage for P04.
+",Globally ( P02 Imply ( Next P04 ) ),Globally ( P02 Imply ( Next P04 ) )
+629,"Find the P08 
+",Finally P08,Finally P08
+630,"go through the P02 or the P03 to get to the P01
+",Finally ( ( P02 Or P03 ) And ( Finally P01 ) ),Finally ( ( P02 Or P03 ) And ( Finally P01 ) )
+631,"P02 and then P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+632,"travel through P06 then go to P05 .
+",Finally ( P06 And ( Finally P05 ) ),Finally ( P06 And ( Finally P05 ) )
+633,"P05 should be executed without leaving P08.
+",( Finally P05 ) And ( Globally P08 ),( Finally P05 ) And ( Globally P08 )
+634,"P04 and P03 should always be executed concurrently.
+",( Finally P04 ) And ( Globally P03 ),Finally ( P03 And ( Finally P04 ) )
+635,"P09 should be completed before proceeding to P01.
+",Finally ( P09 And ( Finally P01 ) ),Finally ( P09 And ( Finally P01 ) )
+636,"don t go through the P03 while going to the P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+637,"Avoid P05 till the completion of P07, after which one has the option of either staying at P07 or moving to P05.
+",( Not P05 ) Until P07,( Not P05 ) Until P07
+638,"Your goal should be reaching P10.
+",Finally P10,Finally ( P10 )
+639,"head to P04 and then head to P08 .
+",Finally ( P04 And ( Finally P08 ) ),Finally ( P04 And ( Finally P08 ) )
+640,"go through P02 before going to P10
+",Finally ( P02 And ( Finally P10 ) ),Finally ( P02 And ( Finally P10 ) )
+641,"go to P10 , then down to P04 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+642,"Except P01, any task can be executed before transitioning to P03.
+",Finally ( P03 And ( Not P01 ) ),( Finally P03 ) And ( Globally ( Not P01 ) )
+643,"avoid P05 until you go to P11 .
+",( Not P05 ) Until P11,( Not P05 ) Until P11
+644,"proceed to P03 .
+",Finally P03,Finally P03
+645,"pass through the P01 to reach P02
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+646,"avoid P12 and go to P04 .
+",Finally ( P04 And ( Not P12 ) ),Finally ( P04 And ( Not P12 ) )
+647,"go to P06 , then go to P10 .
+",Finally ( P06 And ( Finally P10 ) ),Finally ( P06 And ( Finally P10 ) )
+648,"first navigate to P01 , then make your way to P03 .
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+649,"go to P09 without going into P01
+",Finally ( P09 And ( Not P01 ) ),Finally ( P09 And ( Not P01 ) )
+650,"go to P10 after navigating to P08 .
+",Finally ( P08 And ( Finally P10 ) ),Finally ( P08 And ( Finally P10 ) )
+651,"to reach P04 do not go through P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+652,"do directly to P10 without leaving P01 .
+",( Finally P10 ) And ( Globally P01 ),( Finally P10 ) And ( Globally P01 )
+653,"stay in P01 to navigate to P10 .
+",( Finally P10 ) And ( Globally P01 ),( Finally P10 ) And ( Globally P01 )
+654,"move into P02
+",Finally P02,Finally P02
+655,"go through the P01 or P02 and enter P04
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+656,"go to P03 while always avoiding P05
+",Finally ( P03 And ( Not P05 ) ),Finally ( P03 And ( Not P05 ) )
+657,"P04 should be executed at some point.
+",Finally P04,Finally P04
+658,"P03
+",Finally P03,Finally P03
+659,"go into the P01 and then the P03
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+660,"avoid P06 until after navigating to P05 .
+",( Not P06 ) Until P05,( Not P06 ) Until P05
+661,"P03 must be continuously fulfilled; every occurrence of P01 must be followed by the execution of P02.
+",Globally ( P03 And ( Finally ( P01 And ( Finally P02 ) ) ) ),Globally ( P01 Imply ( Finally P02 ) ) Imply ( Globally ( Finally P03 ) )
+662,"always go through P11 and then to P03 .
+",Finally ( P11 And ( Finally P03 ) ),Finally ( P11 And ( Finally P03 ) )
+663,"P02 will hold infinitely often if P03 holds infinitely often.
+",( Globally ( Finally P03 ) ) Imply ( Globally ( Finally P02 ) ),( Globally ( Finally P03 ) ) Imply ( Globally ( Finally P02 ) )
+664,"go through the room that isn t P03 and enter the P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+665,"Given that P03 is a prerequisite, P02 must hold continually until P01 is executed, or P02 must be executed endlessly.
+",Globally ( P03 Imply ( ( P02 Until P01 ) Or ( Globally P02 ) ) ),P03 Imply ( Next ( ( P02 Until P01 ) Or ( Globally P02 ) ) )
+666,"head to P04 but first go to P08 .
+",Finally ( P08 And ( Finally P04 ) ),Finally ( P08 And ( Finally P04 ) )
+667,"Bypass P06 and proceed directly to P02.
+",Finally ( P02 And ( Not P06 ) ),Finally ( P02 And ( Not P06 ) )
+668,"Navigate directly to P11.
+",Finally P11,Finally P11
+669,"P01 must precede P02 in order of execution, implying movement through the door to P01 and then proceeding to P02.
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+670,"going through P02 or the P03 straight to the P01 avoiding P04
+",( Finally ( ( P02 Or P03) And ( Finally P01 ) ) ) And ( Globally ( Not P04 ) ),( Finally ( ( P02 Or P03 ) And ( Finally P01 ) ) ) And ( Globally ( Not P04 ) )
+671,"go through the  P04 or P03 to get to P02
+",Finally ( ( P04 Or P03 ) And ( Finally P02 ) ),Finally ( ( P04 Or P03 ) And ( Finally P02 ) )
+672,"avoid P03 until after you 've gone to P01 .
+",( Not P03 ) Until P01,( Not P03 ) Until P01
+673,"move to P08 but go through P10 first .
+",Finally ( P10 And ( Finally P08 ) ),Finally ( P10 And ( Finally P08 ) )
+674,"pass through any room that is not  P04 to reach the P03
+",( Finally P03 ) And ( Globally ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+675,"travel through P03 then go to P06 .
+",Finally ( P03 And ( Finally P06 ) ),Finally ( P03 And ( Finally P06 ) )
+676,"go to P07 , then navigate to P05 .
+",Finally ( P07 And ( Finally P05 ) ),Finally ( P07 And ( Finally P05 ) )
+677,"Eschew P10 and proceed directly to P04.
+",Finally ( P04 And ( Not P10 ) ),Finally ( P04 And ( Not P10 ) )
+678,"avoid going through P11 until you go through P01 .
+",( Not P11 ) Until P01,( Not P11 ) Until P01
+679,"Execute P04.
+",Finally P04,Finally P04
+680,"go to P05 by touching P02 .
+",Finally ( P02 And ( Finally P05 ) ),Finally ( P02 And ( Finally P05 ) )
+681,"go to P02 and push P03 into P04
+",Finally ( P02 And ( Finally ( P03 And ( Finally P04 ) ) ) ),Finally ( P02 And ( Finally ( P03 And ( Finally P04 ) ) ) )
+682,"go to P04 and then go to P02 .
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+683,"go  P04 or P02 to P01
+",Finally ( ( P04 Or P02 ) And ( Finally P01 ) ),Finally ( ( P04 Or P02 ) And ( Finally P01 ) )
+684,"do directly to P12 without leaving P06 .
+",( Finally P12 ) And ( Globally P06 ),( Finally P12 ) And ( Globally P06 )
+685,"P10 should not start until P06 has been completed.
+",( Not P10 ) Until P06,( Not P10 ) Until P06
+686,"Always steer clear of P04 while advancing towards P12.
+",Finally ( P12 And ( Not P04 ) ),Finally ( P12 And ( Not P04 ) )
+687,"The process always involves passing through P06 before proceeding to P11.
+",Finally ( P06 And ( Finally P11 ) ),Finally ( P06 And ( Finally P11 ) )
+688,"go to P02 and then P03
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+689,"It is compulsory that P09 precedes P12.
+",Finally ( P09 And ( Finally P12 ) ),Finally ( P09 And ( Finally P12 ) )
+690,"move to P07 , travelling through P11 .
+",Finally ( P11 And ( Finally P07 ) ),Finally ( P11 And ( Finally P07 ) )
+691,"P03 must be completed before P12.
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+692,"avoid P02s while going to the  P04 one
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+693,"go to P09 then move to P01 .
+",Finally ( P09 And ( Finally P01 ) ),Finally ( P09 And ( Finally P01 ) )
+694,"navigate to P07 but do n't ever go to P10 .
+",Finally ( P07 And ( Not P10 ) ),Finally ( P07 And ( Not P10 ) )
+695,"go into the P01
+",Finally P01,Finally P01
+696,"go through P02 before going to P12
+",Finally ( P02 And ( Finally P12 ) ),Finally ( P02 And ( Finally P12 ) )
+697,"go through the P01 or the P03 to get to P04
+",Finally ( ( P01 Or P03 ) And ( Finally P04 ) ),Finally ( ( P03 Or P01 ) And ( Finally P04 ) )
+698,"always avoid P04 and go to P05 .
+",Finally ( P05 And ( Not P04 ) ),Finally ( P05 And ( Not P04 ) )
+699,"P07 can only be started after passing through P12.
+",Finally ( P12 And ( Finally P07 ) ),Finally ( P12 And ( Finally P07 ) )
+700,"avoid P01 until you navigate to P08 .
+",( Not P01 ) Until P08,( Not P01 ) Until P08
+701,"go through the P02 and to the P01
+",Finally ( P02 And ( Finally P01 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+702,"P08 must be completed prior to progressing to P06.
+",Finally ( P08 And ( Finally P06 ) ),Finally ( P08 And ( Finally P06 ) )
+703,"stay in P02 to navigate to P12 .
+",( Finally P12 ) And ( Globally P02 ),( Finally P12 ) And ( Globally P02 )
+704,"go to P09 through P12 .
+",Finally ( P12 And ( Finally P09 ) ),Finally ( P12 And ( Finally P09 ) )
+705,"avoid P10 until you go to P03 .
+",( Not P10 ) Until P03,( Not P10 ) Until P03
+706,"go to P03 , then go to P11 .
+",Finally ( P03 And ( Finally P11 ) ),Finally ( P03 And ( Finally P11 ) )
+707,"enter the P01 without going through P02
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+708,"go to P10 without leaving P04 .
+",( Finally P10 ) And ( Globally P04 ),( Finally P10 ) And ( Globally P04 )
+709,"go to P10 and then go to P03 .
+",Finally ( P10 And ( Finally P03 ) ),Finally ( P10 And ( Finally P03 ) )
+710,"Travel through P03 and then proceed to P07.
+",Finally ( P03 And ( Finally P07 ) ),Finally ( P03 And ( Finally P07 ) )
+711,"go through the P03 and P02 to P04
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+712,"go into the P03 by way of the P01
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+713,"P01
+",Finally P01,Finally P01
+714,"Continue staying within P03 while navigating towards P11.
+",( Finally P11 ) And ( Globally P03 ),( Finally P11 ) And ( Globally P03 )
+715,"go into P02 without crossing the P03
+",( Finally P02 ) And ( Globally ( Not P03 ) ),( Finally P02 ) And ( Globally ( Not P03 ) )
+716,"P03 should always precede P02.
+",( Not P02 ) Until P03,Finally ( P03 And ( Finally P02 ) )
+717,"go through P04 into P02
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+718,"go through the room that isn t P02 and enter the P01
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+719,"travel through P06 then go to P02 .
+",Finally ( P06 And ( Finally P02 ) ),Finally ( P06 And ( Finally P02 ) )
+720,"Find the P09 
+",Finally P09,Finally P09
+721,"P11 should be executed.
+",Finally P11,Finally P11
+722,"P11 can be initiated only after the execution of P06.
+",Finally ( P06 And ( Finally P11 ) ),Finally ( P06 And ( Finally P11 ) )
+723,"avoid P11 and go to P06 .
+",Finally ( P06 And ( Not P11 ) ),Finally ( P06 And ( Not P11 ) )
+724,"P04 through P02
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+725,"Find the P10 
+",Finally P10,Finally ( P10 )
+726,"stay away from P02 and go to P12 .
+",Finally ( P12 And ( Not P02 ) ),Finally ( P12 And ( Not P02 ) )
+727,"P12 should be executed, but P03 should be done first.
+",Finally ( P12 And ( Finally P03 ) ),Finally ( P03 And ( Finally P12 ) )
+728,"Progression to P02 should be made while consistently avoiding P05.
+",Finally ( P02 And ( Not P05 ) ),Finally ( P02 And ( Not P05 ) )
+729,"go towards the P01 and avoid P04
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+730,"go to P03 through P11
+",Finally ( P11 And ( Finally P03 ) ),Finally ( P11 And ( Finally P03 ) )
+731,"navigate through P10 and go to P04 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+732,"always pass P10 before P11 .
+",Finally ( P10 And ( Finally P11 ) ),Finally ( P10 And ( Finally P11 ) )
+733,"avoid P10 until you pass through P02 .
+",( Not P10 ) Until P02,( Not P10 ) Until P02
+734,"go to P06 avoiding P10 .
+",Finally ( P06 And ( Not P10 ) ),Finally ( P06 And ( Not P10 ) )
+735,"stay on P09 and go to P02 .
+",( Finally P02 ) And ( Globally P09 ),( Finally P02 ) And ( Globally P09 )
+736,"navigate to P09 before going to P08 .
+",Finally ( P09 And ( Finally P08 ) ),Finally ( P09 And ( Finally P08 ) )
+737,"P02 must be avoided until P12 is reached.
+",( Not P02 ) Until P12,( Not P02 ) Until P12
+738,"go to large P02 through P01
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+739,"go to P02 by first going through P12 .
+",Finally ( P12 And ( Finally P02 ) ),Finally ( P12 And ( Finally P02 ) )
+740,"go to P06 through P04 .
+",Finally ( P04 And ( Finally P06 ) ),Finally ( P04 And ( Finally P06 ) )
+741,"navigate to P11 through P04 .
+",Finally ( P04 And ( Finally P11 ) ),Finally ( P04 And ( Finally P11 ) )
+742,"go through the P01 to get to the  P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+743,"P03 while avoiding the P01
+",( Finally P03 ) And ( Globally ( Not P01 ) ),( Finally P03 ) And ( Globally ( Not P01 ) )
+744,"go to P02 through P08 .
+",Finally ( P08 And ( Finally P02 ) ),Finally ( P08 And ( Finally P02 ) )
+745,"P04 while avoiding P02 on the way
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+746,"Whenever P03 is executed infinitely often, P02 should also be executed infinitely often.
+",( Globally ( Finally P03 ) ) Imply ( Globally ( Finally P02 ) ),( Globally ( Finally P03 ) ) Imply ( Globally ( Finally P02 ) )
+747,"go to  P04 or P02 to P01
+",Finally ( ( P04 Or P02 ) And ( Finally P01 ) ),Finally ( ( P04 Or P02 ) And ( Finally P01 ) )
+748,"go to P05 without going to P04
+",Finally ( P05 And ( Not P04 ) ),Finally ( P05 And ( Not P04 ) )
+749,"without leaving P09 go to P03 .
+",( Finally P03 ) And ( Globally P09 ),( Finally P03 ) And ( Globally P09 )
+750,"going through P02 or the P03 straight to the P01 avoiding the P03
+",Finally ( ( P02 Or P03 ) And ( Finally P01 ) ),( Finally ( ( P02 Or P03) And ( Finally P01 ) ) ) And ( Globally ( Not P03 ) )
+751,"avoid P01 , navigate to P02 .
+",( Finally P02 ) And ( Globally ( Not P01 ) ),Finally ( P02 And ( Not P01 ) )
+752,"go directly to P11 by only moving in P03 .
+",( Finally P11 ) And ( Globally P03 ),( Finally P11 ) And ( Globally P03 )
+753,"avoid P12 and move into P04 .
+",Finally ( P04 And ( Not P12 ) ),Finally ( P04 And ( Not P12 ) )
+754,"go through P02 into the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+755,"P01 but do not use P02 to get there
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+756,"go through P03 before going to P12
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+757,"move to P08 , travelling through P04 .
+",Finally ( P04 And ( Finally P08 ) ),Finally ( P04 And ( Finally P08 ) )
+758,"go to P03 rectangle via P01
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+759,"P03, P04, and P05 can be executed concurrently at any time. 
+",Finally ( P03 And ( Finally ( P04 And P05 ) ) ),Globally ( ( P03 Or P04 ) Or P05 )
+760,"Navigate straight towards P11 without detouring from P01.
+",( Finally P11 ) And ( Globally P01 ),( Finally P11 ) And ( Globally P01 )
+761,"always avoid P03 to navigate to P12 .
+",Finally ( P12 And ( Not P03 ) ),Finally ( P12 And ( Not P03 ) )
+762,"P02 should be executed prior to P04.
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Not P04 ) )
+763,"do n't leave P03 and go to P11 .
+",( Finally P11 ) And ( Globally P03 ),( Finally P11 ) And ( Globally P03 )
+764,"navigate to P12 .
+",Finally P12,Finally P12
+765,"Always navigate and complete P10 while continuously avoiding P06.
+",Finally ( P10 And ( Not P06 ) ),Finally ( P10 And ( Not P06 ) )
+766,"Maintain on P07 and concurrently aim for the execution of P03.
+",( Finally P03 ) And ( Globally P07 ),( Finally P03 ) And ( Globally P07 )
+767,"head to P02 , but make sure to go through P04 first .
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+768,"avoid P01 and navigate to P03 .
+",Finally ( P03 And ( Not P01 ) ),Finally ( P03 And ( Not P01 ) )
+769,"navigate to P01 before you go to P12 .
+",Finally ( P01 And ( Finally P12 ) ),Finally ( P01 And ( Finally P12 ) )
+770,"P01
+",Finally P01,Finally P01
+771,"go to P10 by only stepping in P01 .
+",( Finally P10 ) And ( Globally P01 ),( Finally P10 ) And ( Globally P01 )
+772,"always go to P11 before navigating to P06 .
+",Finally ( P11 And ( Finally P06 ) ),Finally ( P11 And ( Finally P06 ) )
+773,"avoid P02 and move to P04
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+774,"go to P11 , avoid P06 until you have been to the landmark .
+",( Not P06 ) Until P11,( Not P06 ) Until P11
+775,"avoid P02 until after navigating to P01 .
+",( Not P02 ) Until P01,( Not P02 ) Until P01
+776,"Either the condition P01 holds true infinitely often, or the condition P02 holds true in the subsequent step.
+",Globally ( ( Finally P01 ) Or ( Next P02 ) ),Globally ( ( Finally P01 ) Or ( Next P02 ) )
+777,"Until ready to execute P05, avoid the execution of P02.
+",( Not P02 ) Until P05,( Not P02 ) Until P05
+778,"go to P01
+",Finally P01,Finally P01
+779,"go to P05 through P04 .
+",Finally ( P04 And ( Finally P05 ) ),Finally ( P04 And ( Finally P05 ) )
+780,"move the robot to the small P03 or P04 and then to the large P01
+",Finally ( ( P04 Or P03 ) And ( Finally P01 ) ),Finally ( ( P04 Or P03 ) And ( Finally P01 ) )
+781,"P02 but avoid using P04
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+782,"stay in P04 to navigate to P10 .
+",( Finally P10 ) And ( Globally P04 ),( Finally P10 ) And ( Globally P04 )
+783,"go to P11 then go to P03 .
+",Finally ( P11 And ( Finally P03 ) ),Finally ( P11 And ( Finally P03 ) )
+784,"without stepping outside of P01 , go to P11 .
+",( Finally P11 ) And ( Globally P01 ),( Finally P11 ) And ( Globally P01 )
+785,"avoid P12 and go to P06 .
+",Finally ( P06 And ( Not P12 ) ),Finally ( P06 And ( Not P12 ) )
+786,"do n't leave P02 and go to P12 .
+",( Finally P12 ) And ( Globally P02 ),( Finally P12 ) And ( Globally P02 )
+787,"go to a spot in P05 , but do n't touch P11 .
+",Finally ( P05 And ( Not P11 ) ),Finally ( P05 And ( Not P11 ) )
+788,"P09 should be executed before beginning P06.
+",Finally ( P09 And ( Finally P06 ) ),Finally ( P09 And ( Finally P06 ) )
+789,"P02 through the P01 one
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+790,"move through the P03 and out into the P01
+",Finally ( P03 And ( Finally P01 ) ),Finally ( P03 And ( Finally P01 ) )
+791,"Proceed to P05 only after passing through P03.
+",Finally ( P03 And ( Finally P05 ) ),Finally ( P03 And ( Finally P05 ) )
+792,"go through P04 to get to the P01
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+793,"visit P05 and then move to P09 .
+",Finally ( P05 And ( Finally P09 ) ),Finally ( P05 And ( Finally P09 ) )
+794,"P04 but do not take the P03 to get there
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+795,"P04
+",Finally P04,Finally P04
+796,"Always avoid executing P02 until after you've executed P11.
+",( Not P02 ) Until P11,Finally ( P11 And ( Not P02 ) )
+797,"navigate to P05 after going to P08 .
+",Finally ( P08 And ( Finally P05 ) ),Finally ( P08 And ( Finally P05 ) )
+798,"go to P04 by first going through P06 .
+",Finally ( P06 And ( Finally P04 ) ),Finally ( P06 And ( Finally P04 ) )
+799,"stay in P03 to get to P11 .
+",( Finally P11 ) And ( Globally P03 ),( Finally P11 ) And ( Globally P03 )
+800,"go only through rooms that are not P02 to get to the P03
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+801,"move to the P01
+",Finally P01,Finally P01
+802,"move to P12 and then proceed to P03 .
+",Finally ( P12 And ( Finally P03 ) ),Finally ( P12 And ( Finally P03 ) )
+803,"go only through rooms that are not P02 to get to the P01
+",( Finally P01 ) And ( Globally ( Not P02 ) ),( Finally P01 ) And ( Globally ( Not P02 ) )
+804,"navigate to P02 always avoiding P03 .
+",Finally ( P02 And ( Not P03 ) ),Finally ( P02 And ( Not P03 ) )
+805,"go to P05 while always avoiding P10
+",Finally ( P05 And ( Not P10 ) ),Finally ( P05 And ( Not P10 ) )
+806,"move to the P03
+",Finally P03,Finally P03
+807,"Continue execution of P08 in order to reach P06.
+",Finally ( P08 And ( Finally P06 ) ),( Finally P06 ) And ( Globally P08 )
+808,"Go to the P11 and then go to the P12 
+",Finally ( P11 And ( Finally P12 ) ),Finally ( P11 And ( Finally P12 ) )
+809,"navigate to P12 then continue to P04 .
+",Finally ( P12 And ( Finally P04 ) ),Finally ( P12 And ( Finally P04 ) )
+810,"without leaving P07 go to P03 .
+",( Finally P03 ) And ( Globally P07 ),( Finally P03 ) And ( Globally P07 )
+811,"Navigate to P11 while remaining within P09.
+",( Finally P11 ) And ( Globally P09 ),( Finally P11 ) And ( Globally P09 )
+812,"proceed to P11 , but never move outside of P01 .
+",( Finally P11 ) And ( Globally P01 ),( Finally P11 ) And ( Globally P01 )
+813,"enter the room that isn t P03 then P04
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+814,"go through P02 to enter P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+815,"P02 must be completed to unlock the larger P01.
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+816,"P02
+",Finally P02,Finally P02
+817,"P01 and P02 cannot occur at the same time.
+",Globally ( Not ( P01 And P02 ) ),Globally ( Not ( P01 And P02 ) )
+818,"do n't go into P03 until going to P12
+",( Not P03 ) Until P12,( Not P03 ) Until P12
+819,"P04 while avoiding the P01
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+820,"P01 can only be executed once P02 has been completed.
+",( Not P01 ) Until P02,Finally ( P02 And ( Finally P01 ) )
+821,"walk to the P01 while avoiding P04
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+822,"P04 without using the P03
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+823,"go to P11 but do not first go through P04 .
+",( Not P04 ) Until P11,( Not P04 ) Until P11
+824,"Move from P04 to P02 in sequence.
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+825,"P02 by first entering the P01
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+826,"Must be situated on P07 before eventually proceeding to P01.
+",( Finally P01 ) And ( Globally P07 ),( Finally P01 ) And ( Globally P07 )
+827,"go through P12 to P09 .
+",Finally ( P12 And ( Finally P09 ) ),Finally ( P12 And ( Finally P09 ) )
+828,"the robot goes through the P03 to get to the  P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+829,"Navigation to P02 is feasible provided any interaction with P04 is avoided.
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+830,"P02 then the P03
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+831,"P04 can be independently navigated.
+",Finally P04,Finally P04
+832,"always avoid P01 while navigating to P08 .
+",Finally ( P08 And ( Not P01 ) ),Finally ( P08 And ( Not P01 ) )
+833,"always avoid P05 while navigating to P07 .
+",Finally ( P07 And ( Not P05 ) ),Finally ( P07 And ( Not P05 ) )
+834,"go to P09 avoiding P11 .
+",Finally ( P09 And ( Not P11 ) ),Finally ( P09 And ( Not P11 ) )
+835,"It's necessary to complete P02, avoiding P05.
+",Finally ( P02 And ( Not P05 ) ),( Not P05 ) Until P02
+836,"advance to P10 but always avoid P03 .
+",Finally ( P10 And ( Not P03 ) ),Finally ( P10 And ( Not P03 ) )
+837,"go to P05 without going to P02
+",Finally ( P05 And ( Not P02 ) ),Finally ( P05 And ( Not P02 ) )
+838,"Navigate through P05 to reach P09.
+",Finally ( P05 And ( Finally P09 ) ),Finally ( P05 And ( Finally P09 ) )
+839,"stay in P01 to navigate to P11 .
+",( Finally P11 ) And ( Globally P01 ),( Finally P11 ) And ( Globally P01 )
+840,"Ensure that P01 is completed before moving on to P03.
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+841,"remain on P07 and navigate to P05 .
+",( Finally P05 ) And ( Globally P07 ),( Finally P05 ) And ( Globally P07 )
+842,"P05 should be reached or executed, constantly avoiding coming towards it via P10.
+",( Not P10 ) Until P05,( Not P10 ) Until P05
+843,"move to P05 and then move to P12 .
+",Finally ( P05 And ( Finally P12 ) ),Finally ( P05 And ( Finally P12 ) )
+844,"go to P01 before you go to P12 .
+",Finally ( P01 And ( Finally P12 ) ),Finally ( P01 And ( Finally P12 ) )
+845,"P02
+",Finally P02,Finally P02
+846,"go to P05 by first visiting P10 .
+",Finally ( P10 And ( Finally P05 ) ),Finally ( P10 And ( Finally P05 ) )
+847,"go to P10 after navigating to P09 .
+",Finally ( P09 And ( Finally P10 ) ),Finally ( P09 And ( Finally P10 ) )
+848,"Make sure to pass through P06 before reaching P10.
+",Finally ( P06 And ( Finally P10 ) ),Finally ( P06 And ( Finally P10 ) )
+849,"At every point, one of these will hold: P03, P04, or P05.
+",Globally ( ( P03 Or P04 ) Or P05 ),Globally ( ( P03 Or P04 ) Or P05 )
+850,"avoid P10 and move into P01 .
+",Finally ( P01 And ( Not P10 ) ),Finally ( P01 And ( Not P10 ) )
+851,"move to the P03
+",Finally P03,Finally P03
+852,"stay away from P03 and go to P10 .
+",Finally ( P10 And ( Not P03 ) ),Finally ( P10 And ( Not P03 ) )
+853,"go through the door to the P03 and continue into P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+854,"navigate to P07 through P05 .
+",Finally ( P05 And ( Finally P07 ) ),Finally ( P05 And ( Finally P07 ) )
+855,"go to P03 but do not enter P04 first .
+",( Not P04 ) Until P03,( Not P04 ) Until P03
+856,"P04 must be completed first before entering P03.
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+857,"Always, P02 follows the execution of P01. 
+",Finally ( P01 And ( Finally P02 ) ),Globally ( P01 Imply ( Finally P02 ) )
+858,"Transition through P02 before proceeding to P11.
+",Finally ( P02 And ( Finally P11 ) ),( Not P11 ) Until P02
+859,"P01 must be completed before moving forward to P04.
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+860,"go to P12 before going to P01
+",Finally ( P12 And ( Finally P01 ) ),Finally ( P12 And ( Finally P01 ) )
+861,"go through P02 before going to P06 .
+",Finally ( P02 And ( Finally P06 ) ),Finally ( P02 And ( Finally P06 ) )
+862,"the robot goes through the  P04 to get to P02
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+863,"pass through P10 on your way to P09 .
+",Finally ( P10 And ( Finally P09 ) ),Finally ( P10 And ( Finally P09 ) )
+864,"P08 should be accessed through P05.
+",Finally ( P05 And ( Finally P08 ) ),Finally ( P05 And ( Finally P08 ) )
+865,"go to P04 by first visiting P10 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+866,"go to P07 but do not go through P06 first .
+",( Not P06 ) Until P07,( Not P06 ) Until P07
+867,"Bypass P11 and continue to P03.
+",Finally ( P03 And ( Not P11 ) ),Finally ( P03 And ( Not P11 ) )
+868,"move to P08 without entering P01 .
+",Finally ( P08 And ( Not P01 ) ),Finally ( P08 And ( Not P01 ) )
+869,"avoid P05 and go to P06 .
+",Finally ( P06 And ( Not P05 ) ),Finally ( P06 And ( Not P05 ) )
+870,"move to P12 , but go through P06 first .
+",Finally ( P06 And ( Finally P12 ) ),Finally ( P06 And ( Finally P12 ) )
+871,"There is a subsequent occurrence of P02 after every instance of P01.
+",Globally ( P01 Imply ( Finally P02 ) ),Globally ( P01 Imply ( Finally P02 ) )
+872,"go thru the P02 to get to the  P04 box
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+873,"Starting with P01, ensure that you complete it before moving on to P11. 
+",Finally ( P01 And ( Finally P11 ) ),Finally ( P11 And ( Finally P01 ) )
+874,"enter into the room that is not  P04 and continue through that room into the P03
+",( Finally P03 ) And ( Globally ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+875,"avoid P06 and go to P09 .
+",Finally ( P09 And ( Not P06 ) ),Finally ( P09 And ( Not P06 ) )
+876,"go to P11 by only stepping in P02 .
+",( Finally P11 ) And ( Globally P02 ),( Finally P11 ) And ( Globally P02 )
+877,"pass through the non P01 to reach the P03
+",( Finally P03 ) And ( Globally ( Not P01 ) ),( Finally P03 ) And ( Globally ( Not P01 ) )
+878,"P02 then the P01
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+879,"enter P01 through P04
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+880,"P03 can be executed independently, without the need for P02.
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+881,"avoid P02 and move to the P03
+",Finally ( P03 And ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+882,"P02 must be executed at some point.
+",Finally P02,Finally P02
+883,"There's a holding of P02 whenever there's a holding of P03.
+",Globally ( P03 Imply P02 ),Globally ( P03 Imply P02 )
+884,"move to anywhere on P09 , then move to anywhere on P08 .
+",Finally ( P09 And ( Finally P08 ) ),Finally ( P09 And ( Finally P08 ) )
+885,"Progress towards P02 perpetually avoiding P03.
+",( Finally P02 ) And ( Globally ( Not P03 ) ),Finally ( P02 And ( Not P03 ) )
+886,"go to P11 and remain within P05 .
+",( Finally P11 ) And ( Globally P05 ),( Finally P11 ) And ( Globally P05 )
+887,"move to the P03
+",Finally P03,Finally P03
+888,"P03 and then P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+889,"P05 must be completed before moving to P09.
+",Finally ( P05 And ( Finally P09 ) ),Finally ( P05 And ( Finally P09 ) )
+890,"go to P05 , then go to P03 .
+",Finally ( P05 And ( Finally P03 ) ),Finally ( P05 And ( Finally P03 ) )
+891,"go to P12 but do not first pass through P10 .
+",( Not P10 ) Until P12,( Not P10 ) Until P12
+892,"go to P04 through P03 .
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+893,"enter the P01 through the P02 door only
+",Finally ( P02 And ( Finally P01 ) ),Finally ( P02 And ( Finally P01 ) )
+894,"go into the P03 and then into P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+895,"go from the P01 to P02 then go from P02 to the P03
+",Finally ( P01 And ( Finally ( P02 And ( Finally P03 ) ) ) ),Finally ( P01 And ( Finally ( P02 And ( Finally P03 ) ) ) )
+896,"enter the P03 through either the P02 or or P01s
+",Finally ( ( P02 Or P01 ) And ( Finally P03 ) ),Finally ( ( P02 Or P01 ) And ( Finally P03 ) )
+897,"avoid P02 until you enter P06 .
+",( Not P02 ) Until P06,( Not P02 ) Until P06
+898,"One should consistently avoid P10 and target P09 as the destination.
+",Finally ( P09 And ( Not P10 ) ),Finally ( P09 And ( Not P10 ) )
+899,"first go to P10 , then go to P04 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+900,"move to the large P04 while avoiding the small P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+901,"go to P08 always avoiding P02 .
+",Finally ( P08 And ( Not P02 ) ),Finally ( P08 And ( Not P02 ) )
+902,"without stepping outside of P02 , go to P10 .
+",( Finally P10 ) And ( Globally P02 ),( Finally P10 ) And ( Globally P02 )
+903,"travel to P04 through the room that isn t P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+904,"Travel from P06 to P03.
+",Finally ( P06 And ( Finally P03 ) ),Finally ( P06 And ( Finally P03 ) )
+905,"There will come a time when P03 and P02 hold.
+",Finally ( P03 And P02 ),Finally ( P03 And P02 )
+906,"P03 is always executed.
+",Finally P03,Finally P03
+907,"move to P02
+",Finally P02,Finally P02
+908,"go to P04 , then proceed to P11 .
+",Finally ( P04 And ( Finally P11 ) ),Finally ( P04 And ( Finally P11 ) )
+909,"avoid P10 until after P04
+",( Not P10 ) Until P04,( Not P10 ) Until P04
+910,"navigate to P07 through P09 .
+",Finally ( P09 And ( Finally P07 ) ),Finally ( P09 And ( Finally P07 ) )
+911,"go to or through P11 avoiding going through P10
+",( Not P10 ) Until P11,( Not P10 ) Until P11
+912,"always avoid P11 and navigate to P02 .
+",Finally ( P02 And ( Not P11 ) ),Finally ( P02 And ( Not P11 ) )
+913,"go to the P01
+",Finally P01,Finally P01
+914,"go to P10 and then to P12 .
+",Finally ( P10 And ( Finally P12 ) ),Finally ( P10 And ( Finally P12 ) )
+915,"P09 must always precede P10.
+",Finally ( P09 And ( Finally P10 ) ),Finally ( P09 And ( Finally P10 ) )
+916,"P02
+",Finally P02,Finally P02
+917,"navigate to P05 always avoiding P04 .
+",Finally ( P05 And ( Not P04 ) ),Finally ( P05 And ( Not P04 ) )
+918,"avoid P05 until navigating to P01 .
+",( Not P05 ) Until P01,( Not P05 ) Until P01
+919,"P02 without using the P03
+",( Finally P02 ) And ( Globally ( Not P03 ) ),( Finally P02 ) And ( Globally ( Not P03 ) )
+920,"enter the room that isn t P01 then P02
+",( Finally P02 ) And ( Globally ( Not P01 ) ),( Finally P02 ) And ( Globally ( Not P01 ) )
+921,"There will be no time when P01 and P03 occur together.
+",Globally ( Not ( P01 And P03 ) ),Globally ( Not ( P01 And P03 ) )
+922,"go to P03
+",Finally P03,Finally P03
+923,"i want you to go into P04
+",Finally P04,Finally P04
+924,"go towards the P03 and avoid P04
+",( Finally P03 ) And ( Globally ( Not P04 ) ),( Finally P03 ) And ( Globally ( Not P04 ) )
+925,"The path should be from P01 to P02.
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+926,"Stay on the P13 first find the P01 and then find the P02 
+",( Globally P13 ) And ( Finally ( P01 And ( Finally P02 ) ) ),( Globally P13 ) And ( Finally ( P01 And ( Finally P02 ) ) )
+927,"avoid P03 find P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+928,"Transverse through P10 to reach P02.
+",Finally ( P10 And ( Finally P02 ) ),Finally ( P10 And ( Finally P02 ) )
+929,"visit P01 and then move to P07 .
+",Finally ( P01 And ( Finally P07 ) ),Finally ( P01 And ( Finally P07 ) )
+930,"navigate to P07 , avoiding P11 .
+",Finally ( P07 And ( Not P11 ) ),Finally ( P07 And ( Not P11 ) )
+931,"do not take the P03 to reach the P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+932,"P02 take the object and go into P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+933,"Approach P09 while perpetually staying clear of P06.
+",Finally ( P09 And ( Not P06 ) ),Finally ( P09 And ( Not P06 ) )
+934,"move toward either the P02 or P04 then into the P01
+",Finally ( ( P02 Or P04 ) And ( Finally P01 ) ),Finally ( ( P04 Or P02 ) And ( Finally P01 ) )
+935,"go to P02 by first going through P10 .
+",Finally ( P10 And ( Finally P02 ) ),Finally ( P10 And ( Finally P02 ) )
+936,"P02 is always executed, while avoiding P01.
+",( Finally P02 ) And ( Globally ( Not P01 ) ),Finally ( P02 And ( Not P01 ) )
+937,"Execution should proceed toward P02.
+",Finally P02,Finally P02
+938,"P02 never goes solo, it's followed by P04.
+",Globally ( P02 And ( Finally P04 ) ),Globally ( P02 Imply ( Next P04 ) )
+939,"go to P04 via P10 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+940,"don t go through the P03 while going to the P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+941,"go to P12 without leaving P06 .
+",( Finally P12 ) And ( Globally P06 ),( Finally P12 ) And ( Globally P06 )
+942,"P02
+",Finally P02,Finally P02
+943,"navigate to P07 before going to P01 .
+",Finally ( P07 And ( Finally P01 ) ),Finally ( P07 And ( Finally P01 ) )
+944,"entering any room that isn t P03 will lead you to the P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+945,"do directly to P12 without leaving P05 .
+",( Finally P12 ) And ( Globally P05 ),( Finally P12 ) And ( Globally P05 )
+946,"move to the P03
+",Finally P03,Finally P03
+947,"avoid P05 and navigate to P06 .
+",Finally ( P06 And ( Not P05 ) ),Finally ( P06 And ( Not P05 ) )
+948,"Directly navigate to P08 while avoiding P03.
+",Finally ( P08 And ( Not P03 ) ),Finally ( P08 And ( Not P03 ) )
+949,"always avoid P04 and navigate to P09 .
+",Finally ( P09 And ( Not P04 ) ),Finally ( P09 And ( Not P04 ) )
+950,"Execute P01 and bypass P04.
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+951,"move to P02
+",Finally P02,Finally P02
+952,"head to P08 .
+",Finally P08,Finally P08
+953,"stay in P05 and go to P12
+",( Finally P12 ) And ( Globally P05 ),( Finally P12 ) And ( Globally P05 )
+954,"proceed to P04 by going through P05 .
+",Finally ( P05 And ( Finally P04 ) ),Finally ( P05 And ( Finally P04 ) )
+955,"Neglect any diversion from P07 while transitioning to P01.
+",( Finally P01 ) And ( Globally P07 ),( Finally P01 ) And ( Globally P07 )
+956,"always navigate to P02 and then proceed to P09 .
+",Finally ( P02 And ( Finally P09 ) ),Finally ( P02 And ( Finally P09 ) )
+957,"P04 can be executed independently, without needing to go through P06.
+",( Not P06 ) Until P04,Finally ( P04 And ( Not P06 ) )
+958,"go to P04
+",Finally P04,Finally P04
+959,"do directly to P11 without leaving P05 .
+",( Finally P11 ) And ( Globally P05 ),( Finally P11 ) And ( Globally P05 )
+960,"avoid P02 and go to P05 .
+",Finally ( P05 And ( Not P02 ) ),Finally ( P05 And ( Not P02 ) )
+961,"go to P04 through P12 .
+",Finally ( P12 And ( Finally P04 ) ),Finally ( P12 And ( Finally P04 ) )
+962,"Reach P01 without the necessity for passing through P04.
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+963,"without leaving P09 go to P04 .
+",( Finally P04 ) And ( Globally P09 ),( Finally P04 ) And ( Globally P09 )
+964,"go from P03 to P05
+",Finally ( P03 And ( Finally P05 ) ),Finally ( P03 And ( Finally P05 ) )
+965,"go to  P04 rectangle via P02
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+966,"go to P10 while avoiding the first and P09 .
+",Finally ( P10 And ( Not P09 ) ),( Finally P10 ) And ( Globally P09 )
+967,"Remain on process P09 whilst transitioning to process P12.
+",( Finally P12 ) And ( Globally P09 ),( Finally P12 ) And ( Globally P09 )
+968,"go into P04 but avoid P01
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+969,"Never access P05 while executing P02.
+",Finally ( P02 And ( Not P05 ) ),Finally ( P02 And ( Not P05 ) )
+970,"P03 should be executed.
+",Finally P03,Finally P03
+971,"avoid P04 until going through P11 .
+",( Not P04 ) Until P11,( Not P04 ) Until P11
+972,"P03
+",Finally P03,Finally P03
+973,"go to P02 and avoid P11 .
+",Finally ( P02 And ( Not P11 ) ),Finally ( P02 And ( Not P11 ) )
+974,"go to P05 , avoiding P11 .
+",Finally ( P05 And ( Not P11 ) ),Finally ( P05 And ( Not P11 ) )
+975,"avoid P01 and navigate to P02 .
+",Finally ( P02 And ( Not P01 ) ),Finally ( P02 And ( Not P01 ) )
+976,"go through P04 into the P03
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+977,"go to P12 through P03
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+978,"move to the P01
+",Finally P01,Finally P01
+979,"pass through P11 on your way to P07 .
+",Finally ( P11 And ( Finally P07 ) ),Finally ( P11 And ( Finally P07 ) )
+980,"go to P12 before going to P09 .
+",Finally ( P12 And ( Finally P09 ) ),Finally ( P12 And ( Finally P09 ) )
+981,"go to P12 via P08 .
+",Finally ( P08 And ( Finally P12 ) ),Finally ( P08 And ( Finally P12 ) )
+982,"P03
+",Finally P03,Finally P03
+983,"go to P09 , then navigate to P02 .
+",Finally ( P09 And ( Finally P02 ) ),Finally ( P09 And ( Finally P02 ) )
+984,"P04 while avoiding the P01s
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+985,"go to P02 move the item and go to P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+986,"navigate to P04 always avoiding P03 .
+",Finally ( P04 And ( Not P03 ) ),Finally ( P04 And ( Not P03 ) )
+987,"go to P11 without leaving P04 .
+",( Finally P11 ) And ( Globally P04 ),( Finally P11 ) And ( Globally P04 )
+988,"head to P02 , but make sure to go through P05 first .
+",Finally ( P05 And ( Finally P02 ) ),Finally ( P05 And ( Finally P02 ) )
+989,"avoid P03 until you enter P06 .
+",( Not P03 ) Until P06,( Not P03 ) Until P06
+990,"P03 is true leading up to the moment P02 is true, or P03 is eternally true.
+",( P03 Until P02 ) Or ( Globally P03 ),( P03 Until P02 ) Or ( Globally P03 )
+991,"pass through P05 before going to P07 .
+",Finally ( P05 And ( Finally P07 ) ),Finally ( P05 And ( Finally P07 ) )
+992,"Navigate through either P02 or P01 to execute P03.
+",Finally ( ( P02 Or P01 ) And ( Finally P03 ) ),Finally ( ( P02 Or P01 ) And ( Finally P03 ) )
+993,"go to P03 while always avoiding P04
+",Finally ( P03 And ( Not P04 ) ),Finally ( P03 And ( Not P04 ) )
+994,"Get to P05 without involving P10.
+",Finally ( P05 And ( Not P10 ) ),Finally ( P05 And ( Not P10 ) )
+995,"avoid P01 until you go to P10 .
+",( Not P01 ) Until P10,( Not P01 ) Until P10
+996,"move through P04 to P02
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+997,"avoid P03 until you enter P01 .
+",( Not P03 ) Until P01,( Not P03 ) Until P01
+998,"P03 should be initiated after successfully touching P06.
+",Finally ( P06 And ( Finally P03 ) ),Finally ( P06 And ( Finally P03 ) )
+999,"P02 should be executed while always avoiding or skipping the execution of P04.
+",Finally ( P02 And ( Not P04 ) ),Finally ( P02 And ( Not P04 ) )
+1000,"always avoid P01 while navigating to P10 .
+",Finally ( P10 And ( Not P01 ) ),Finally ( P10 And ( Not P01 ) )
+1001,"Move through P04 to reach P03.
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+1002,"After executing P08, P07 should be done next.
+",Finally ( P08 And ( Finally P07 ) ),Finally ( P08 And ( Finally P07 ) )
+1003,"move into the P03
+",Finally P03,Finally P03
+1004,"navigate through P10 to P09 .
+",Finally ( P10 And ( Finally P09 ) ),Finally ( P10 And ( Finally P09 ) )
+1005,"Begin with P03, followed by a progression towards P11.
+",Finally ( P03 And ( Finally P11 ) ),Finally ( P03 And ( Finally P11 ) )
+1006,"P03 should be avoided while proceeding to P05.
+",Finally ( P05 And ( Not P03 ) ),Finally ( P05 And ( Not P03 ) )
+1007,"avoid P01 until after going to P08 .
+",( Not P01 ) Until P08,( Not P01 ) Until P08
+1008,"go through the P02 and to the P03
+",Finally ( P02 And ( Finally P03 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+1009,"P04 is required to be executed.
+",Finally P04,Finally P04
+1010,"go into the finish P02 then push it back into P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+1011,"Start at P04, then make your way towards P12.
+",Finally ( P04 And ( Finally P12 ) ),Finally ( P04 And ( Finally P12 ) )
+1012,"Move to P02 and execute it.
+",Finally P02,Finally P02
+1013,"always avoid P03 while navigating to P09 .
+",Finally ( P09 And ( Not P03 ) ),Finally ( P09 And ( Not P03 ) )
+1014,"go through P01 or P02 to get to P03
+",Finally ( ( P02 Or P01 ) And ( Finally P03 ) ),Finally ( ( P02 Or P01 ) And ( Finally P03 ) )
+1015,"Initially, P05 should be executed, and then P02 should be executed.
+",Finally ( P05 And ( Finally P02 ) ),Finally ( P05 And ( Finally P02 ) )
+1016,"Navigate towards P02 while persistently evading the presence of P11.
+",Finally ( P02 And ( Not P11 ) ),Finally ( P02 And ( Not P11 ) )
+1017,"go to P10 before going to P12 .
+",Finally ( P10 And ( Finally P12 ) ),Finally ( P10 And ( Finally P12 ) )
+1018,"move into P04 while being sure to pass through only the P03
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+1019,"always go to P10 before P12 .
+",Finally ( P10 And ( Finally P12 ) ),Finally ( P10 And ( Finally P12 ) )
+1020,"go to P10 by only stepping in P04 .
+",( Finally P10 ) And ( Globally P04 ),( Finally P10 ) And ( Globally P04 )
+1021,"P03
+",Finally P03,Finally P03
+1022,"navigate to P02 but never go to P03 .
+",Finally ( P02 And ( Not P03 ) ),Finally ( P02 And ( Not P03 ) )
+1023,"first move to P12 then navigate to P01 .
+",Finally ( P12 And ( Finally P01 ) ),Finally ( P12 And ( Finally P01 ) )
+1024,"pass through P04 before going to P08 .
+",Finally ( P04 And ( Finally P08 ) ),Finally ( P04 And ( Finally P08 ) )
+1025,"move to P01
+",Finally P01,Finally P01
+1026,"always go to P11 before navigating to P02 .
+",Finally ( P11 And ( Finally P02 ) ),Finally ( P11 And ( Finally P02 ) )
+1027,"always navigate to P01 and then proceed to P07 .
+",Finally ( P01 And ( Finally P07 ) ),Finally ( P01 And ( Finally P07 ) )
+1028,"P03, P04, or P05 will perpetually be the case.
+",Globally ( ( P03 Or P04 ) Or P05 ),Globally ( ( P03 Or P04 ) Or P05 )
+1029,"do not navigate away from P07 and go to P04 .
+",( Finally P04 ) And ( Globally P07 ),( Finally P04 ) And ( Globally P07 )
+1030,"go to P02 avoiding  P04
+",( Finally P02 ) And ( Globally ( Not P04 ) ),( Finally P02 ) And ( Globally ( Not P04 ) )
+1031,"go through the P01 to the P03
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+1032,"go to P03 through P01
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+1033,"move to the P01
+",Finally P01,Finally P01
+1034,"remain on P08 and navigate to P01 .
+",( Finally P01 ) And ( Globally P08 ),( Finally P01 ) And ( Globally P08 )
+1035,"travel through P05 then go to P06 .
+",Finally ( P05 And ( Finally P06 ) ),Finally ( P05 And ( Finally P06 ) )
+1036,"first go to to P11 then go to P03 .
+",Finally ( P11 And ( Finally P03 ) ),Finally ( P11 And ( Finally P03 ) )
+1037,"navigate to P12 through P01 .
+",Finally ( P01 And ( Finally P12 ) ),Finally ( P01 And ( Finally P12 ) )
+1038,"P02
+",Finally P02,Finally P02
+1039,"go to P02 without going to P05 .
+",Finally ( P02 And ( Not P05 ) ),Finally ( P02 And ( Not P05 ) )
+1040,"go to P08 then go to P03
+",Finally ( P08 And ( Finally P03 ) ),Finally ( P08 And ( Finally P03 ) )
+1041,"Eventually, move to the center of P03.
+",Finally P03,Finally P03
+1042,"go from P02 to P05
+",Finally ( P02 And ( Finally P05 ) ),Finally ( P02 And ( Finally P05 ) )
+1043,"P04
+",Finally P04,Finally P04
+1044,"go through P12 to P04 .
+",Finally ( P12 And ( Finally P04 ) ),Finally ( P12 And ( Finally P04 ) )
+1045,"go to P02 then go to P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+1046,"go to P11 and always avoid P01
+",Finally ( P11 And ( Not P01 ) ),Finally ( P11 And ( Not P01 ) )
+1047,"Proceed to P02, while remaining within P09.
+",( Finally P02 ) And ( Globally P09 ),( Finally P02 ) And ( Globally P09 )
+1048,"avoid P03 until you go to P02 .
+",( Not P03 ) Until P02,( Not P03 ) Until P02
+1049,"go through P06 and navigate to P07 .
+",Finally ( P06 And ( Finally P07 ) ),Finally ( P06 And ( Finally P07 ) )
+1050,"move to the P02 and stop after entering
+",Finally P02,Finally P02
+1051,"go to P09 but never go to P02 .
+",Finally ( P09 And ( Not P02 ) ),Finally ( P09 And ( Not P02 ) )
+1052,"If P01 is executed, then P02 should not be repeated.
+",Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) ),Globally ( P01 Imply ( Next ( Globally ( Not P02 ) ) ) )
+1053,"go only through rooms that are not P03 to get to the P01
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+1054,"It is always possible to engage P02.
+",Finally P02,Finally P02
+1055,"move through the P01 or P02 to P04
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+1056,"do n't leave P06 and go to P12 .
+",( Finally P12 ) And ( Globally P06 ),( Finally P12 ) And ( Globally P06 )
+1057,"P04 while avoiding P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+1058,"When P01 is activated, P02 becomes active three steps afterward.
+",Globally ( P01 Imply Next ( Next ( Next P02 ) ) ),Globally ( P01 Imply Next ( Next ( Next P02 ) ) )
+1059,"always avoid P04 while navigating to P08 .
+",Finally ( P08 And ( Not P04 ) ),Finally ( P08 And ( Not P04 ) )
+1060,"avoid the P03 and continue to P04
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+1061,"do not go into P03 until going to P12
+",( Not P03 ) Until P12,( Not P03 ) Until P12
+1062,"Always, P10 must be executed first, followed by P06.
+",Finally ( P10 And ( Finally P06 ) ),Finally ( P10 And ( Finally P06 ) )
+1063,"avoid the first and P09 and go to P11 .
+",Finally ( P11 And ( Not P09 ) ),( Finally P11 ) And ( Globally P09 )
+1064,"go through P12 and navigate to P05 .
+",Finally ( P12 And ( Finally P05 ) ),Finally ( P12 And ( Finally P05 ) )
+1065,"go to the chair in P02 and then push the chair into the P01
+",Finally ( P02 And ( Finally ( Next P01 ) ) ),Finally ( P02 And ( Finally ( Next P01 ) ) )
+1066,"navigate to P06 before you go to P10 .
+",Finally ( P06 And ( Finally P10 ) ),Finally ( P06 And ( Finally P10 ) )
+1067,"stay in P03 and go to P11 .
+",( Finally P11 ) And ( Globally P03 ),( Finally P11 ) And ( Globally P03 )
+1068,"move to P09 , travelling through P05 .
+",Finally ( P05 And ( Finally P09 ) ),Finally ( P05 And ( Finally P09 ) )
+1069,"P04 is to be executed.
+",Finally P04,Finally P04
+1070,"move to the P03 avoiding P02
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+1071,"P02 but avoid the P03
+",( Finally P02 ) And ( Globally ( Not P03 ) ),( Finally P02 ) And ( Globally ( Not P03 ) )
+1072,"stay on P09 while going to P01 .
+",( Finally P01 ) And ( Globally P09 ),( Finally P01 ) And ( Globally P09 )
+1073,"take a path to reach the P01 colour place by not taking the route which is  P04 and black
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+1074,"go up to P08 without going to P12 .
+",Finally ( P08 And ( Not P12 ) ),Finally ( P08 And ( Not P12 ) )
+1075,"enter the P01 and then P04
+",Finally ( P01 And ( Finally P04 ) ),Finally ( P01 And ( Finally P04 ) )
+1076,"P04 while avoiding the P01s
+",( Finally P04 ) And ( Globally ( Not P01 ) ),( Finally P04 ) And ( Globally ( Not P01 ) )
+1077,"go through P03 before going to P08 .
+",Finally ( P03 And ( Finally P08 ) ),Finally ( P03 And ( Finally P08 ) )
+1078,"stay on P09 and navigate to P10 .
+",( Finally P10 ) And ( Globally P09 ),( Finally P10 ) And ( Globally P09 )
+1079,"P01 and P03 will not be found to occur at the same time.
+",Globally ( Not ( P01 And P03 ) ),Globally ( Not ( P01 And P03 ) )
+1080,"P04 no longer holds from a particular point in time on.
+",Finally ( Globally ( Not P04 ) ),Finally ( Globally ( Not P04 ) )
+1081,"avoid the P11 and go to P09 .
+",Finally ( P09 And ( Not P11 ) ),Finally ( P09 And ( Not P11 ) )
+1082,"always avoid P04 to navigate to P12 .
+",Finally ( P12 And ( Not P04 ) ),Finally ( P12 And ( Not P04 ) )
+1083,"avoid P03 until after you 've gone to P05 .
+",( Not P03 ) Until P05,( Not P03 ) Until P05
+1084,"Only P01 needs to be executed.
+",Finally P01,Finally P01
+1085,"go to large P04 through P02
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+1086,"P02 is true infinitely often whenever P03 is true infinitely often.
+",( Globally ( Finally P03 ) ) Imply ( Globally ( Finally P02 ) ),( Globally ( Finally P03 ) ) Imply ( Globally ( Finally P02 ) )
+1087,"navigate to P02 by passing through P07 .
+",Finally ( P07 And ( Finally P02 ) ),Finally ( P07 And ( Finally P02 ) )
+1088,"go to P09 and then go to P03 .
+",Finally ( P09 And ( Finally P03 ) ),Finally ( P09 And ( Finally P03 ) )
+1089,"go to P10 without leaving P04 .
+",( Finally P10 ) And ( Globally P04 ),( Finally P10 ) And ( Globally P04 )
+1090,"always go through P06 to get to P03 .
+",Finally ( P06 And ( Finally P03 ) ),Finally ( P06 And ( Finally P03 ) )
+1091,"avoid P02 on your way to P12 .
+",( Not P02 ) Until P12,( Not P02 ) Until P12
+1092,"go through P02 and enter P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+1093,"P04 should always be completed and then proceed to P11.
+",( Finally P11 ) And ( Globally P04 ),( Finally P11 ) And ( Globally P04 )
+1094,"stay in P03 and go to P10 and stop
+",( Finally P10 ) And ( Globally P03 ),( Finally P10 ) And ( Globally P03 )
+1095,"P11 must be completed before proceeding with P05.
+",Finally ( P11 And ( Finally P05 ) ),Finally ( P11 And ( Finally P05 ) )
+1096,"move to the large P04 by passing through the small P03
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+1097,"P03 must be executed before proceeding to P09.
+",Finally ( P03 And ( Finally P09 ) ),Finally ( P03 And ( Finally P09 ) )
+1098,"avoid P11 and go to P09 .
+",Finally ( P09 And ( Not P11 ) ),Finally ( P09 And ( Not P11 ) )
+1099,"first enter P04 and then move to the P01
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+1100,"go through P11 and navigate to P02 .
+",Finally ( P11 And ( Finally P02 ) ),Finally ( P11 And ( Finally P02 ) )
+1101,"go to P03 and avoid P01 .
+",Finally ( P03 And ( Not P01 ) ),Finally ( P03 And ( Not P01 ) )
+1102,"Every instance of P01 is followed by an instance of P02.
+",Globally ( P01 Imply ( Finally P02 ) ),Globally ( P01 Imply ( Finally P02 ) )
+1103,"proceed to P05 by going through P06 .
+",Finally ( P06 And ( Finally P05 ) ),Finally ( P06 And ( Finally P05 ) )
+1104,"go through P10 before going to P04 .
+",Finally ( P10 And ( Finally P04 ) ),Finally ( P10 And ( Finally P04 ) )
+1105,"Visit P06 and subsequently maneuver to P09.
+",Finally ( P06 And ( Finally P09 ) ),Finally ( P06 And ( Finally P09 ) )
+1106,"P01 and P02 can be completed independently before heading towards P04.
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+1107,"walk through the P03 until you reach P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+1108,"travel to P04 without going through the P03
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+1109,"go through P03 , then make your way to P12 .
+",Finally ( P03 And ( Finally P12 ) ),Finally ( P03 And ( Finally P12 ) )
+1110,"go through P01 before going to P02 .
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+1111,"move to P03
+",Finally P03,Finally P03
+1112,"P04 must be completed before P01 can be started.
+",Finally ( P04 And ( Finally P01 ) ),Finally ( P04 And ( Finally P01 ) )
+1113,"pass through either the P03 or P02 to reach P04
+",Finally ( ( P02 Or P03 ) And ( Finally P04 ) ),Finally ( ( P02 Or P03 ) And ( Finally P04 ) )
+1114,"go to P08 by first going through P06 .
+",Finally ( P06 And ( Finally P08 ) ),Finally ( P06 And ( Finally P08 ) )
+1115,"go through P01s to get to the P03 one
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+1116,"P06 should only be executed after a successful transition through P07.
+",Finally ( P07 And ( Finally P06 ) ),Finally ( P07 And ( Finally P06 ) )
+1117,"P09 must precede before threading through P03.
+",Finally ( P09 And ( Finally P03 ) ),Finally ( P09 And ( Finally P03 ) )
+1118,"always go from P09 to P08 .
+",Finally ( P09 And ( Finally P08 ) ),Finally ( P09 And ( Finally P08 ) )
+1119,"move to P09 but go through P11 first .
+",Finally ( P11 And ( Finally P09 ) ),Finally ( P11 And ( Finally P09 ) )
+1120,"go through P04 first , then go to P06 .
+",Finally ( P04 And ( Finally P06 ) ),Finally ( P04 And ( Finally P06 ) )
+1121,"Aim for the P03 area while meticulously avoiding any encounters with P01.
+",( Finally P03 ) And ( Globally ( Not P01 ) ),( Finally P03 ) And ( Globally ( Not P01 ) )
+1122,"avoid P01 and go to P06 .
+",Finally ( P06 And ( Not P01 ) ),Finally ( P06 And ( Not P01 ) )
+1123,"P01 while avoiding P04
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+1124,"go to P09 via P05 .
+",Finally ( P05 And ( Finally P09 ) ),Finally ( P05 And ( Finally P09 ) )
+1125,"P02 must be executed before P03 for Robot C.
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+1126,"P01 must be done before proceeding to P03.
+",Finally ( P01 And ( Finally P03 ) ),Finally ( P01 And ( Finally P03 ) )
+1127,"Whenever P03 holds, P02 holds as well.
+",Globally ( P03 Imply P02 ),Globally ( P03 Imply P02 )
+1128,"Implementation of P01 should be done independently of P03.
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+1129,"P12 should be completed before starting P11.
+",Finally ( P12 And ( Finally P11 ) ),Finally ( P12 And ( Finally P11 ) )
+1130,"P04 always comes right after P02.
+",Finally ( P02 And ( Finally P04 ) ),Globally ( P02 Imply ( Next P04 ) )
+1131,"Execute P04 without having to go through P02.
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+1132,"go through P07 to P04 .
+",Finally ( P07 And ( Finally P04 ) ),Finally ( P07 And ( Finally P04 ) )
+1133,"Wait until P09 is completed to bypass P02.
+",( Not P02 ) Until P09,( Not P02 ) Until P09
+1134,"It's only a matter of time before both P01 and P02 hold.
+",( Finally P01 ) And ( Finally P02 ),( Finally P01 ) And ( Finally P02 )
+1135,"remain on P08 and move to P04 .
+",( Finally P04 ) And ( Globally P08 ),( Finally P04 ) And ( Globally P08 )
+1136,"go to P06 through P12
+",Finally ( P12 And ( Finally P06 ) ),Finally ( P12 And ( Finally P06 ) )
+1137,"The robot must primarily pass through either P02 or P01, before reaching P04.
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+1138,"move to the P03
+",Finally P03,Finally P03
+1139,"go through P04 and into the P03
+",Finally ( P04 And ( Finally P03 ) ),Finally ( P04 And ( Finally P03 ) )
+1140,"go to P06 by first going through P12 .
+",Finally ( P12 And ( Finally P06 ) ),Finally ( P12 And ( Finally P06 ) )
+1141,"move to P04
+",Finally P04,Finally P04
+1142,"go to P06 , then proceed to P10 .
+",Finally ( P06 And ( Finally P10 ) ),Finally ( P06 And ( Finally P10 ) )
+1143,"P04 while avoiding the P03 on the way
+",( Finally P04 ) And ( Globally ( Not P03 ) ),( Finally P04 ) And ( Globally ( Not P03 ) )
+1144,"go to  P04 but not through P02
+",( Finally P04 ) And ( Globally ( Not P02 ) ),( Finally P04 ) And ( Globally ( Not P02 ) )
+1145,"P02
+",Finally P02,Finally P02
+1146,"P08 should be completed before moving to P01.
+",Finally ( P08 And ( Finally P01 ) ),Finally ( P08 And ( Finally P01 ) )
+1147,"Initially execute P02 and then proceed to execute P03.
+",Finally ( P02 And ( Finally P03 ) ),Finally ( P02 And ( Finally P03 ) )
+1148,"go to the P03 area by avoiding P02 area
+",( Finally P03 ) And ( Globally ( Not P02 ) ),( Finally P03 ) And ( Globally ( Not P02 ) )
+1149,"travel to P02 through the room that isn t P03
+",( Finally P02 ) And ( Globally ( Not P03 ) ),( Finally P02 ) And ( Globally ( Not P03 ) )
+1150,"go to P06 , but do not go to P05 .
+",Finally ( P06 And ( Not P05 ) ),Finally ( P06 And ( Not P05 ) )
+1151,"go through room that is not  P04 to get to P01
+",( Finally P01 ) And ( Globally ( Not P04 ) ),( Finally P01 ) And ( Globally ( Not P04 ) )
+1152,"P07 should be executed only after completing P05.
+",Finally ( P05 And ( Finally P07 ) ),Finally ( P05 And ( Finally P07 ) )
+1153,"It's not the case that P01 and P03 will occur at the same time.
+",Globally ( Not ( P01 And P03 ) ),Globally ( Not ( P01 And P03 ) )
+1154,"Avoid the execution of P06 until P07 is complete.
+",( Not P06 ) Until P07,( Not P06 ) Until P07
+1155,"go through P04 before going to P11
+",Finally ( P04 And ( Finally P11 ) ),Finally ( P04 And ( Finally P11 ) )
+1156,"stay on P09 and move to P11 .
+",( Finally P11 ) And ( Globally P09 ),( Finally P11 ) And ( Globally P09 )
+1157,"always avoid P10 and go to P11
+",Finally ( P11 And ( Not P10 ) ),Finally ( P11 And ( Not P10 ) )
+1158,"P02 but only go through P04 to get there
+",Finally ( P04 And ( Finally P02 ) ),Finally ( P04 And ( Finally P02 ) )
+1159,"avoid P04 until you go to P03 .
+",( Not P04 ) Until P03,( Not P04 ) Until P03
+1160,"proceed to P02 by going through P01 .
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+1161,"go to P03 and then navigate to P04 .
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+1162,"go thru the P01 or P02 to get to the  P04 box
+",Finally ( ( P02 Or P01 ) And ( Finally P04 ) ),Finally ( ( P02 Or P01 ) And ( Finally P04 ) )
+1163,"avoid P03 until you navigate to P09 .
+",( Not P03 ) Until P09,( Not P03 ) Until P09
+1164,"Avoid P03 and proceed to P05.
+",Finally ( P05 And ( Not P03 ) ),Finally ( P05 And ( Not P03 ) )
+1165,"go through the P03 to P04
+",Finally ( P03 And ( Finally P04 ) ),Finally ( P03 And ( Finally P04 ) )
+1166,"P01
+",Finally P01,Finally P01
+1167,"Stay on the P13 and find the P02 
+",( Finally P02 ) And ( Globally P13 ),( Globally P13 ) And ( Finally P02 )
+1168,"It's anticipated that both P03 and P02 will eventually be executed.
+",Finally ( P03 And P02 ),Finally ( P03 And P02 )
+1169,"Begin with P08, followed by a shift to P02.
+",Finally ( P08 And ( Finally P02 ) ),Finally ( P08 And ( Finally P02 ) )
+1170,"P01 must always be executed before starting P02.
+",Finally ( P01 And ( Finally P02 ) ),Finally ( P01 And ( Finally P02 ) )
+1171,"avoid P10 and move into P02 .
+",Finally ( P02 And ( Not P10 ) ),Finally ( P02 And ( Not P10 ) )
+1172,"always avoid P04 , go to P10 .
+",Finally ( P10 And ( Not P04 ) ),Finally ( P10 And ( Not P04 ) )
+1173,"move to P04
+",Finally P04,Finally P04
+1174,"go to P03 through P08
+",Finally ( P08 And ( Finally P03 ) ),Finally ( P08 And ( Finally P03 ) )
+1175,"go to P05 , then go to P07 .
+",Finally ( P05 And ( Finally P07 ) ),Finally ( P05 And ( Finally P07 ) )
+1176,"Avoid P03, and navigate through the room, exiting via another door towards P01.
+",( Finally P01 ) And ( Globally ( Not P03 ) ),( Finally P01 ) And ( Globally ( Not P03 ) )
+1177,"move towards P06 and then to P07 .
+",Finally ( P06 And ( Finally P07 ) ),Finally ( P06 And ( Finally P07 ) )
+1178,"navigate to P01 .
+",Finally P01,Finally P01
+1179,"go through P02 to P04
+",Finally ( P02 And ( Finally P04 ) ),Finally ( P02 And ( Finally P04 ) )
+1180,"go through P05 and navigate to P08 .
+",Finally ( P05 And ( Finally P08 ) ),Finally ( P05 And ( Finally P08 ) )