Export HasFourMomentum via HEP.Data.LHCO