Page 4:

• Demonstration video: See above

• Learned prompt: See Methodology

Page 6:

• Illustrative partial order examples: See Examples

Page 8: 

• Demonstration video of the simulation process: See above Simualtion video

Page 12: 

• Learned prompt: Refer to Methodology

Page 13:

• Demonstration video of the EditFlow interaction: See above Optimization video

Page 15:

• Detailed algorithm to infer forbidden partial orders: See RQ2

Page 17:

• Demographic details and Instrumentation-based analysis: See User Study