"""using the symbols pacmanalive 1 pacmanalive 0, pacmanborn 0, and pacmankilled 0, created using the propsymbolexpr constructor, return a propsymbolexpr instance that encodes the following english sentences (in this order)