Let us postulate some properties of the worldsheet sigma-model, namely:
general structure of the action
existence of certain symmetries
so that the kinematics (field content) and dynamics (equations of motion) of the
Type IIB SUGRA follow automatically if these properties are satisfied.