"a "="A"	"A "="a"	"a  " <= "A b"
1	1	1