object/property

Semantics:
[[m]] is the proposition that [[i]] has the property [[j]].

Example:
The brachet is white.
(assert object #brachet property (build lex "white"))
(assert member *brachet class (build lex "brachet"))