name(a, "Alice").
named_statement(t, name(a, "Alice")).
statedBy(t, bob).
recorded(t, "2021-07-07").