' Example of Tau Equivalence in Amos 5.0

Sub Main ()
Dim sem As New AmosEngine

sem.TextOutput
sem.Standardized
sem.Smc

sem.BeginGroup "memory.txt"

sem.Structure "x1 <-- AUDITORY (lam1)"
sem.Structure "x2 <-- AUDITORY (lam1)"
sem.Structure "x3 <-- AUDITORY (lam1)"
sem.Structure "x4 <-- VISUAL"
sem.Structure "x5 <-- VISUAL"
sem.Structure "x6 <-- VISUAL"

sem.Structure "x1 <-- E1 (1)"
sem.Structure "x2 <-- E2 (1)"
sem.Structure "x3 <-- E3 (1)"
sem.Structure "x4 <-- E4 (1)"
sem.Structure "x5 <-- E5 (1)"
sem.Structure "x6 <-- E6 (1)"

sem.Structure "AUDITORY (1)"
sem.Structure "VISUAL (1)"
sem.Structure "AUDITORY <--> VISUAL"

End Sub