(=> (Asset ?Asset)
(Exists (?L-O)
(And (Legal-Ownership ?L-O) (Owned-Entity ?L-O ?Asset))))
(<=> (Asset ?Asset)
(And (Has-Monetary-Value ?Asset)
(Exists (?L-O)
(And (Legal-Ownership ?L-O)
(Owned-Entity ?L-O ?Asset)))))