check whether the first pv is world
check relation between pv.
construct pmt with different name.