http://semanticweb.org/id/Category-3ATopic_first-2Dorder_logic

used by 0: