for example, if a dog has learned the stay command ("s"), then that dog must be a terrier ("T").
(a dog; has learned; the stay command) (that dog; must be; a terrier; T:then)
a dog that dog
has learned must be
the stay command
a terrier T:then