sentence1: as it was shown in , f gauged supergravity is a consistent truncation of massive type iia supergravity .
sentence2: the warped compactification of the type iia massive supergravity gives the solution for the sphere times the six dimensional fads supergravity .