3.5.2. Constraints with 2 arguments

ctrs/fig_tree_a_x_i2_y
  1. 𝚊𝚋𝚜_𝚟𝚊𝚕𝚞𝚎

  2. 𝚎𝚚

  3. 𝚐𝚎𝚚

  4. 𝚐𝚝

  5. 𝚕𝚎𝚚

  6. 𝚕𝚝

  7. 𝚗𝚎𝚚

  8. 𝚘𝚙𝚙𝚘𝚜𝚒𝚝𝚎_𝚜𝚒𝚐𝚗

  9. 𝚜𝚊𝚖𝚎_𝚜𝚒𝚐𝚗


ctrs/fig_tree_a_x_i2_y_
ctrs/fig_tree_a_x_i_y_x_s_y
  1. 𝚒𝚗_𝚜𝚎𝚝

ctrs/fig_tree_a_x_i_y_x_c_x_i_y_y
  1. 𝚊𝚕𝚕_𝚖𝚒𝚗_𝚍𝚒𝚜𝚝

  2. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕

  3. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚖𝚘𝚍𝚞𝚕𝚘

  4. 𝚊𝚖𝚘𝚗𝚐_𝚍𝚒𝚏𝚏_0

  5. 𝚊𝚗𝚍

  6. 𝚊𝚝𝚕𝚎𝚊𝚜𝚝_𝚗𝚟𝚊𝚕𝚞𝚎

  7. 𝚊𝚝𝚖𝚘𝚜𝚝_𝚗𝚟𝚊𝚕𝚞𝚎

  8. 𝚋𝚊𝚕𝚊𝚗𝚌𝚎

  9. 𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚖𝚒𝚗_𝚖𝚊𝚡

  10. 𝚍𝚎𝚎𝚙𝚎𝚜𝚝_𝚟𝚊𝚕𝚕𝚎𝚢

  11. 𝚎𝚚𝚞𝚒𝚟𝚊𝚕𝚎𝚗𝚝

  12. 𝚑𝚒𝚐𝚑𝚎𝚜𝚝_𝚙𝚎𝚊𝚔

  13. 𝚒𝚗

  14. 𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚗𝚟𝚊𝚕𝚞𝚎

  15. 𝚒𝚗𝚏𝚕𝚎𝚡𝚒𝚘𝚗

  16. 𝚒𝚖𝚙𝚕𝚢

  17. 𝚕𝚎𝚗𝚐𝚝𝚑_𝚏𝚒𝚛𝚜𝚝_𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎

  18. 𝚕𝚎𝚗𝚐𝚝𝚑_𝚕𝚊𝚜𝚝_𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎

  19. 𝚖𝚊𝚡_𝚗𝚟𝚊𝚕𝚞𝚎

  20. 𝚖𝚊𝚡_𝚜𝚒𝚣𝚎_𝚜𝚎𝚝_𝚘𝚏_𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎_𝚟𝚊𝚛

  21. 𝚖𝚊𝚡𝚒𝚖𝚞𝚖

  22. 𝚖𝚒𝚗_𝚗𝚟𝚊𝚕𝚞𝚎

  23. 𝚖𝚒𝚗_𝚜𝚒𝚣𝚎_𝚜𝚎𝚝_𝚘𝚏_𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎_𝚟𝚊𝚛

  24. 𝚖𝚒𝚗𝚒𝚖𝚞𝚖

  25. 𝚗𝚊𝚗𝚍

  26. 𝚗𝚘𝚛

  27. 𝚗𝚘𝚝_𝚒𝚗

  28. 𝚗𝚜𝚎𝚝_𝚘𝚏_𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎_𝚟𝚊𝚕𝚞𝚎𝚜

  29. 𝚗𝚟𝚊𝚕𝚞𝚎

  30. 𝚘𝚛

  31. 𝚙𝚎𝚊𝚔

  32. 𝚜𝚒𝚣𝚎_𝚖𝚊𝚡_𝚜𝚎𝚚_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  33. 𝚜𝚒𝚣𝚎_𝚖𝚊𝚡_𝚜𝚝𝚊𝚛𝚝𝚒𝚗𝚐_𝚜𝚎𝚚_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  34. 𝚜𝚘𝚏𝚝_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚌𝚝𝚛

  35. 𝚜𝚘𝚏𝚝_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚟𝚊𝚛

  36. 𝚜𝚘𝚏𝚝_𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚖𝚊𝚡_𝚟𝚊𝚛

  37. 𝚜𝚘𝚏𝚝_𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚖𝚒𝚗_𝚌𝚝𝚛

  38. 𝚜𝚘𝚏𝚝_𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚖𝚒𝚗_𝚟𝚊𝚛

  39. 𝚟𝚊𝚕𝚕𝚎𝚢

  40. 𝚡𝚘𝚛


ctrs/fig_tree_a_x_i_y_x_c_x_i_y_y_
ctrs/fig_tree_a_x_i_y_x_c_x_c_x_i_y_y_y
  1. 𝚊𝚕𝚕_𝚍𝚒𝚏𝚏𝚎𝚛_𝚏𝚛𝚘𝚖_𝚊𝚝_𝚕𝚎𝚊𝚜𝚝_𝚔_𝚙𝚘𝚜

  2. 𝚗𝚟𝚎𝚌𝚝𝚘𝚛

  3. 𝚊𝚝𝚕𝚎𝚊𝚜𝚝_𝚗𝚟𝚎𝚌𝚝𝚘𝚛

  4. 𝚊𝚝𝚖𝚘𝚜𝚝_𝚗𝚟𝚎𝚌𝚝𝚘𝚛

  5. 𝚔_𝚜𝚊𝚖𝚎_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕

  6. 𝚔_𝚜𝚊𝚖𝚎_𝚖𝚘𝚍𝚞𝚕𝚘

  7. 𝚔_𝚞𝚜𝚎𝚍_𝚋𝚢_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕

  8. 𝚔_𝚞𝚜𝚎𝚍_𝚋𝚢_𝚖𝚘𝚍𝚞𝚕𝚘

  9. 𝚘𝚛𝚍𝚎𝚛𝚎𝚍_𝚊𝚝𝚕𝚎𝚊𝚜𝚝_𝚗𝚟𝚎𝚌𝚝𝚘𝚛

  10. 𝚘𝚛𝚍𝚎𝚛𝚎𝚍_𝚊𝚝𝚖𝚘𝚜𝚝_𝚗𝚟𝚎𝚌𝚝𝚘𝚛

  11. 𝚘𝚛𝚍𝚎𝚛𝚎𝚍_𝚗𝚟𝚎𝚌𝚝𝚘𝚛


ctrs/fig_tree_a_x_i_y_x_c_x_c_x_i_y_y_y_
ctrs/fig_tree_a_x_i_y_x_c_x_c_x_i3_y_y_y
  1. 𝚍𝚒𝚏𝚏𝚗_𝚌𝚘𝚕𝚞𝚖𝚗

  2. 𝚍𝚒𝚏𝚏𝚗_𝚒𝚗𝚌𝚕𝚞𝚍𝚎

  3. 𝚙𝚕𝚊𝚌𝚎_𝚒𝚗_𝚙𝚢𝚛𝚊𝚖𝚒𝚍

ctrs/fig_tree_a_x_i_y_x_c_x_i2_y_y
  1. 𝚋𝚒𝚗_𝚙𝚊𝚌𝚔𝚒𝚗𝚐

  2. 𝚋𝚒𝚗𝚊𝚛𝚢_𝚝𝚛𝚎𝚎

  3. 𝚌𝚢𝚌𝚕𝚎

  4. 𝚍𝚘𝚖𝚊𝚒𝚗_𝚌𝚘𝚗𝚜𝚝𝚛𝚊𝚒𝚗𝚝

  5. 𝚒𝚗_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕𝚜

  6. 𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚗𝚟𝚊𝚕𝚞𝚎_𝚌𝚑𝚊𝚒𝚗

  7. 𝚖𝚊𝚡_𝚒𝚗𝚍𝚎𝚡

  8. 𝚖𝚒𝚗_𝚒𝚗𝚍𝚎𝚡

  9. 𝚗𝚙𝚊𝚒𝚛

  10. 𝚘𝚙𝚎𝚗_𝚖𝚊𝚡𝚒𝚖𝚞𝚖

  11. 𝚘𝚙𝚎𝚗_𝚖𝚒𝚗𝚒𝚖𝚞𝚖

  12. 𝚘𝚛𝚍𝚎𝚛𝚎𝚍_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢

  13. 𝚙𝚊𝚝𝚑

  14. 𝚝𝚛𝚎𝚎


ctrs/fig_tree_a_x_i_y_x_c_x_i2_y_y_
ctrs/fig_tree_a_x_i_y_x_c_x_i_y_x_s_y_y
  1. 𝚌𝚕𝚒𝚚𝚞𝚎

  2. 𝚍𝚒𝚜𝚌𝚛𝚎𝚙𝚊𝚗𝚌𝚢

  3. 𝚔_𝚌𝚞𝚝

  4. 𝚙𝚛𝚘𝚙𝚎𝚛_𝚏𝚘𝚛𝚎𝚜𝚝

ctrs/fig_tree_a_x_i_y_x_c_x_i_y_x_c_x_i_y_y_y
  1. 𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚌𝚘𝚗𝚟𝚎𝚡

ctrs/fig_tree_a_x_i_y_x_c_x_i3_y_y
  1. 𝚌𝚒𝚛𝚌𝚞𝚒𝚝_𝚌𝚕𝚞𝚜𝚝𝚎𝚛

  2. 𝚐𝚛𝚊𝚙𝚑_𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐

  3. 𝚘𝚛𝚌𝚑𝚊𝚛𝚍

  4. 𝚘𝚛𝚝𝚑_𝚘𝚗_𝚝𝚑𝚎_𝚐𝚛𝚘𝚞𝚗𝚍

  5. 𝚝𝚛𝚊𝚌𝚔

ctrs/fig_tree_a_x_i_y_x_c_x_i2_y_x_s_y_y
  1. 𝚌𝚞𝚝𝚜𝚎𝚝

ctrs/fig_tree_a_x_i_y_x_c_x_i4_y_y
  1. 𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍_𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎

  2. 𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐

  3. 𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎

  4. 𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚙𝚛𝚘𝚍𝚞𝚌𝚝

  5. 𝚝𝚎𝚖𝚙𝚘𝚛𝚊𝚕_𝚙𝚊𝚝𝚑

ctrs/fig_tree_a_x_i_y_x_c_x_i7_y_y
  1. 𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚝𝚠𝚘_𝚍

ctrs/fig_tree_a_x_s2_y
  1. 𝚎𝚚_𝚜𝚎𝚝

ctrs/fig_tree_a_x_s_y_x_c_x_i_y_y
  1. 𝚘𝚙𝚎𝚗_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

ctrs/fig_tree_a_x_s_y_x_c_x_i2_y_y
  1. 𝚕𝚒𝚗𝚔_𝚜𝚎𝚝_𝚝𝚘_𝚋𝚘𝚘𝚕𝚎𝚊𝚗𝚜

ctrs/fig_tree_a_x_c2_x_i_y_y
  1. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚘𝚗_𝚒𝚗𝚝𝚎𝚛𝚜𝚎𝚌𝚝𝚒𝚘𝚗

  2. 𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎_𝚐𝚛𝚘𝚞𝚙𝚜_𝚘𝚏_𝚘𝚗𝚎𝚜

  3. 𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝

  4. 𝚒𝚗𝚝_𝚟𝚊𝚕𝚞𝚎_𝚙𝚛𝚎𝚌𝚎𝚍𝚎_𝚌𝚑𝚊𝚒𝚗

  5. 𝚒𝚗𝚟𝚎𝚛𝚜𝚎_𝚠𝚒𝚝𝚑𝚒𝚗_𝚛𝚊𝚗𝚐𝚎

  6. 𝚕𝚎𝚡_𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  7. 𝚕𝚎𝚡_𝚎𝚚𝚞𝚊𝚕

  8. 𝚕𝚎𝚡_𝚐𝚛𝚎𝚊𝚝𝚎𝚛

  9. 𝚕𝚎𝚡_𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚

  10. 𝚕𝚎𝚡_𝚕𝚎𝚜𝚜

  11. 𝚕𝚎𝚡_𝚕𝚎𝚜𝚜𝚎𝚚

  12. 𝚕𝚎𝚡_𝚕𝚎𝚜𝚜𝚎𝚚_𝚊𝚕𝚕𝚙𝚎𝚛𝚖

  13. 𝚜𝚊𝚖𝚎

  14. 𝚜𝚊𝚖𝚎_𝚒𝚗𝚝𝚎𝚛𝚜𝚎𝚌𝚝𝚒𝚘𝚗

  15. 𝚜𝚘𝚛𝚝

  16. 𝚞𝚜𝚎𝚍_𝚋𝚢

  17. 𝚞𝚜𝚎𝚜

  18. 𝚟𝚎𝚌_𝚎𝚚_𝚝𝚞𝚙𝚕𝚎


ctrs/fig_tree_a_x_c2_x_i_y_y_
ctrs/fig_tree_a_x_c_x_i_y_y_x_c_x_c_x_i_y_y_y
  1. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗

  2. 𝚒𝚗_𝚛𝚎𝚕𝚊𝚝𝚒𝚘𝚗

  3. 𝚙𝚊𝚝𝚝𝚎𝚛𝚗

ctrs/fig_tree_a_x_c_x_i_y_y_x_c_x_i2_y_y
  1. 𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢

ctrs/fig_tree_a_x_c_x_i_y_y_x_c_x_i3_y_y
  1. 𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢

  2. 𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚕𝚘𝚠_𝚞𝚙

  3. 𝚜𝚝𝚛𝚎𝚝𝚌𝚑_𝚌𝚒𝚛𝚌𝚞𝚒𝚝

  4. 𝚜𝚝𝚛𝚎𝚝𝚌𝚑_𝚙𝚊𝚝𝚑

ctrs/fig_tree_a_x_c_x_i_y_y_x_c_x_i2_y_x_c_x_i_y_y_y
  1. 𝚜𝚝𝚛𝚎𝚝𝚌𝚑_𝚙𝚊𝚝𝚑_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗

ctrs/fig_tree_a_x_c2_x_c_x_i_y_y_y
  1. 𝚔_𝚜𝚊𝚖𝚎_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗

  2. 𝚔_𝚞𝚜𝚎𝚍_𝚋𝚢_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗


ctrs/fig_tree_a_x_c2_x_c_x_i_y_y_y_
ctrs/fig_tree_a_x_c2_x_i2_y_y
  1. 𝚋𝚒𝚗_𝚙𝚊𝚌𝚔𝚒𝚗𝚐_𝚌𝚊𝚙𝚊

  2. 𝚎𝚕𝚎𝚖

  3. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝_𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚

  4. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝_𝚕𝚎𝚜𝚜𝚎𝚚

  5. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜

  6. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  7. 𝚒𝚗𝚍𝚎𝚡𝚎𝚍_𝚜𝚞𝚖


ctrs/fig_tree_a_x_c2_x_i2_y_y_
ctrs/fig_tree_a_x_c_x_i2_y_y_x_c_x_i3_y_y
  1. 𝚜𝚝𝚊𝚐𝚎_𝚎𝚕𝚎𝚖𝚎𝚗𝚝

  2. 𝚝𝚛𝚎𝚎_𝚛𝚎𝚜𝚘𝚞𝚛𝚌𝚎

ctrs/fig_tree_a_x_c2_x_i_y_x_s_y_y
  1. 𝚒𝚗𝚟𝚎𝚛𝚜𝚎_𝚜𝚎𝚝

ctrs/fig_tree_a_x_c_x_i2_y_y_x_c_x_i5_y_y
  1. 𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍_𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜

  2. 𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚠𝚒𝚝𝚑_𝚕𝚎𝚟𝚎𝚕_𝚘𝚏_𝚙𝚛𝚒𝚘𝚛𝚒𝚝𝚢

  3. 𝚎𝚕𝚎𝚖_𝚏𝚛𝚘𝚖_𝚝𝚘

ctrs/fig_tree_a_x_c2_x_i3_y_y
  1. 𝚌𝚢𝚌𝚕𝚎_𝚛𝚎𝚜𝚘𝚞𝚛𝚌𝚎

  2. 𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝_𝚝𝚊𝚜𝚔𝚜

  3. 𝚝𝚠𝚘_𝚘𝚛𝚝𝚑_𝚊𝚛𝚎_𝚒𝚗_𝚌𝚘𝚗𝚝𝚊𝚌𝚝

  4. 𝚝𝚠𝚘_𝚘𝚛𝚝𝚑_𝚍𝚘_𝚗𝚘𝚝_𝚘𝚟𝚎𝚛𝚕𝚊𝚙


ctrs/fig_tree_a_x_c2_x_i3_y_y_
ctrs/fig_tree_a_x_c2_x_i2_y_x_s_y_y
  1. 𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌_𝚐𝚌𝚌

ctrs/fig_tree_a_x_c2_x_i3_y_x_s_y_y
  1. 𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢