Best Program Execution — p*

Step-by-step execution of the synthesised program on a new image

p* = and(
    exists_object(get_objects(IMG), cake),
    exists_obj_with_property(get_objects(IMG), candles, lit))
IMG
get_objects(IMG)
exists_object(
  ·, cake)
exists_obj_with_property(
  ·, candles, lit)
and(·,·)
cake · layered candles · lit fire · orange
→True
→True
→True