[6/24]: rework assumptions to use FactRules (Basic)