Die Funktion read-instance erwartet zwei Argumente: ein Template für eine Instanz und eine Transaktion.

Sie ähnelt der Funktion query-instances, mit dem Unterschied, dass read-instance nur eine Instanz als Ergebnis hat, auch wenn mehrere Instanzen in der Ontologie auf das Template passen.

Wenn keine Instanz auf das Template passt, ist der Rückgabewert nil.