according to team semantics, an if sentence formula_23 is said to be true (formula_299) on a structure formula_49 if it is satisfied on formula_49 by the singleton team formula_302, in symbols: formula_303.