Unnecessary repetition in Example 4.2

[Antoine-Zimmermann]

Example 4.2 has:

define a second knowledge base with one assertion: K2≔({K2​:=({connectsTo((Arica, Santiago)},{},{}))},{},{}) with one assertion.

The repetition of "with one assertion" at the end is unnecessary.