foo.py

def air_cargo_p1() -> AirCargoProblem:
    cargos = [C1, C2]
    planes = [P1, P2]
    airports = [JFK, SFO]
    pos = [At(C1, SFO),
           At(C2, JFK),
           At(P1, SFO),
           At(P2, JFK),
           ]
    neg = [At(C2, SFO),
           In(C2, P1),
           In(C2, P2),
           At(C1, JFK),
           In(C1, P1),
           In(C1, P2),
           At(P1, JFK),
           At(P2, SFO),
           ]
    init = FluentState(pos, neg)
    goal = [At(C1, JFK),
            At(C2, SFO),
            ]
    return AirCargoProblem(cargos, planes, airports, init, goal, PRINT_DEBUG)