matched lh alt: this def 1
matched rh alt: and def 2
matched lh alt: that def 1
this AND that