livesIn
is the relation name and [Person*City]
is the signature of this relation.Person
is the source of this relation and City
is the target.("Joe Smith","New York")
is an element of this relation, Ampersand considers the statement "Joe Smith" livesIn "New York"
to be true. So all pairs in a relation represent facts, i.e. true statements.