':='(R, as(X, T)) :- var(R), !, fluent_reduce(X, Y), cast(X, T, R).
':='(R, M) :- var(R), !, fluent_reduce(M, R).
':='(C, V) :- property_reduce(C, R, P), assign(R, P, V).