CS156
Chris Pollett
Nov 11, 2017
`Action(Fly(p, f\r\o\m, t\o),`
`\quad P\r\e\cond: At(p, f\r\o\m) ^^ Pla\n\e(p) ^^ Airp\o\rt(f\r\o\m) ^^ Airp\o\r\t(t\o),`
`\quad E\f\f\e\c\t: neg At(p, f\r\o\m) ^^ At(p, t\o)\quad )`
`Action(Fly(P_1, SFO, JFK), `
`\quad Precond: At(P_1, SFO) ^^ Pl\a\n\e(P_1) ^^ Airp\o\rt(SFO) ^^ Airp\o\rt(JFK)`,
`\quad Effect: neg At(P_1, SFO) ^^ At(P_1, JFK) \quad)`