sentence1: as it was shown in , f gauged supergravity is a consistent truncation of massive type iia supergravity .
sentence2: in it was shown that f gauged supergravity is a consistent truncation of massive type iia supergravity .