def test_propositions():
state = build_state()
for prop in state.facts:
data = prop.serialize()
loaded_prop = Proposition.deserialize(data)
assert loaded_prop == prop
def deserialize(cls, serialized_facts: List) -> "World":
return cls.from_facts(
[Proposition.deserialize(f) for f in serialized_facts])
