预订 knowledge formalization and information retr. 预订 concept and formalization of constellatory self 【预订】probability logics: probability-based formalization of 预订 a framework for semi-automated formalization. 【预售】concept and formalization of constellatory self