NationalPark(phuocBinh) ∧ Locatedin(phuocBinh, vietnam)
∀x ((NationalPark(x) ∧ Locatedin(x, vietnam)) → NatureReserve(x))
∃x (NationalPark(x) ∧ Locatedin(x, vietnam) ∧ UNESCOWorldHeritageSite(x))
∀x ((NationalPark(x) ∧ Locatedin(x, vietnam)) → (Mangedby(x, ministryofAgriculture) ⊕ Managedby(x, peoplesCommittee)))
¬Mangedby(phuocBinh, ministryofAgriculture)
∃x (NatureReserve(x) ∧ LocatedIn(x, vietnam))