La relación formula_20 es "asimétrica" siempre que