object/location

Semantics:
[[m]] is the proposition that object [[i]] is located at location [[j]].

Example:
A bird is in an estuary.
(assert member #bird class (build lex "bird"))
(assert member #estuary class (build lex "estuary"))
(assert object *bird location *estuary)