What Else?

{chocolate is a food} is true (a "truth predicate")

{chocolate is a food} implies {chocolate is good for you}

Equivalent to using truth predicate and conditional.

Alice believes {chocolate is a food}

Alice told Bob that {chocolate is a food}

Alice does not believe {chocolate is a food}

Alice used to believe {chocolate is a food} but she doesn't any more.

...