1) add datatype Object in Atomic to unify type assn, fact and concl