livesInis the relation name and
[Person*City]is the signature of this relation.
Personis the source of this relation and
Cityis 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.