3.5.3. Constraints with 3 arguments

ctrs/fig_tree_a_x_i3_y
  1. 𝚍𝚒𝚜𝚝𝚊𝚗𝚌𝚎

  2. 𝚎𝚚_𝚌𝚜𝚝

  3. 𝚐𝚌𝚍

  4. 𝚐𝚎𝚚_𝚌𝚜𝚝

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

  6. 𝚕𝚎𝚚_𝚌𝚜𝚝

  7. 𝚗𝚎𝚚_𝚌𝚜𝚝

  8. 𝚙𝚘𝚠𝚎𝚛


ctrs/fig_tree_a_x_i3_y_
ctrs/fig_tree_a_x_a_y_x_i_y_x_c_x_i_y_y
  1. 𝚊𝚛𝚒𝚝𝚑

  2. 𝚊𝚛𝚒𝚝𝚑_𝚜𝚕𝚒𝚍𝚒𝚗𝚐

  3. 𝚌𝚑𝚊𝚗𝚐𝚎

  4. 𝚌𝚒𝚛𝚌𝚞𝚕𝚊𝚛_𝚌𝚑𝚊𝚗𝚐𝚎

  5. 𝚕𝚘𝚗𝚐𝚎𝚜𝚝_𝚌𝚑𝚊𝚗𝚐𝚎

  6. 𝚗𝚟𝚊𝚕𝚞𝚎𝚜

  7. 𝚗𝚟𝚊𝚕𝚞𝚎𝚜_𝚎𝚡𝚌𝚎𝚙𝚝_0

  8. 𝚙𝚎𝚛𝚒𝚘𝚍

  9. 𝚙𝚎𝚛𝚒𝚘𝚍_𝚎𝚡𝚌𝚎𝚙𝚝_0

  10. 𝚙𝚛𝚘𝚍𝚞𝚌𝚝_𝚌𝚝𝚛

  11. 𝚛𝚊𝚗𝚐𝚎_𝚌𝚝𝚛

  12. 𝚜𝚞𝚖_𝚌𝚝𝚛


ctrs/fig_tree_a_x_a_y_x_i_y_x_c_x_i_y_y_
ctrs/fig_tree_a_x_a_y_x_i_y_x_c_x_i2_y_y
  1. 𝚊𝚜𝚜𝚒𝚐𝚗_𝚊𝚗𝚍_𝚗𝚟𝚊𝚕𝚞𝚎𝚜

  2. 𝚜𝚌𝚊𝚕𝚊𝚛_𝚙𝚛𝚘𝚍𝚞𝚌𝚝

ctrs/fig_tree_a_x_a_y_x_c_x_i2_y_y_x_c_x_i5_y_y
  1. 𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜

ctrs/fig_tree_a_x_a_y_x_i_y_x_c_x_c_x_i_y_y_y
  1. 𝚗𝚟𝚎𝚌𝚝𝚘𝚛𝚜

ctrs/fig_tree_a_x_i2_y_x_c_x_i_y_y
  1. 𝚊𝚝𝚕𝚎𝚊𝚜𝚝

  2. 𝚊𝚝𝚖𝚘𝚜𝚝

  3. 𝚋𝚊𝚕𝚊𝚗𝚌𝚎_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕

  4. 𝚋𝚊𝚕𝚊𝚗𝚌𝚎_𝚖𝚘𝚍𝚞𝚕𝚘

  5. 𝚍𝚘𝚖𝚊𝚒𝚗

  6. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝

  7. 𝚎𝚡𝚊𝚌𝚝𝚕𝚢

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

  9. 𝚒𝚝𝚑_𝚙𝚘𝚜_𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚏𝚛𝚘𝚖_0

  10. 𝚖𝚊𝚡_𝚗

  11. 𝚖𝚊𝚡𝚒𝚖𝚞𝚖_𝚖𝚘𝚍𝚞𝚕𝚘

  12. 𝚖𝚒𝚗_𝚗

  13. 𝚖𝚒𝚗𝚒𝚖𝚞𝚖_𝚎𝚡𝚌𝚎𝚙𝚝_0

  14. 𝚖𝚒𝚗𝚒𝚖𝚞𝚖_𝚐𝚛𝚎𝚊𝚝𝚎𝚛_𝚝𝚑𝚊𝚗

  15. 𝚖𝚒𝚗𝚒𝚖𝚞𝚖_𝚖𝚘𝚍𝚞𝚕𝚘

  16. 𝚗𝚎𝚚𝚞𝚒𝚟𝚊𝚕𝚎𝚗𝚌𝚎

  17. 𝚗𝚎𝚡𝚝_𝚐𝚛𝚎𝚊𝚝𝚎𝚛_𝚎𝚕𝚎𝚖𝚎𝚗𝚝

  18. 𝚗𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕

  19. 𝚜𝚖𝚘𝚘𝚝𝚑


ctrs/fig_tree_a_x_i2_y_x_c_x_i_y_y_
ctrs/fig_tree_a_x_i2_y_x_c_x_s_y_y
  1. 𝚜𝚎𝚝_𝚟𝚊𝚕𝚞𝚎_𝚙𝚛𝚎𝚌𝚎𝚍𝚎

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

ctrs/fig_tree_a_x_i2_y_x_c_x_i2_y_y
  1. 𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚜𝚞𝚖

  2. 𝚖𝚊𝚙

  3. 𝚙𝚊𝚝𝚑_𝚏𝚛𝚘𝚖_𝚝𝚘

  4. 𝚝𝚛𝚎𝚎_𝚛𝚊𝚗𝚐𝚎

ctrs/fig_tree_a_x_i2_y_x_c_x_i3_y_y
  1. 𝚒𝚗𝚟𝚎𝚛𝚜𝚎_𝚘𝚏𝚏𝚜𝚎𝚝

  2. 𝚜𝚑𝚒𝚏𝚝

  3. 𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚝𝚒𝚖𝚎_𝚠𝚒𝚗𝚍𝚘𝚠

ctrs/fig_tree_a_x_i2_y_x_c_x_i4_y_y
  1. 𝚌𝚢𝚌𝚕𝚎_𝚘𝚛_𝚊𝚌𝚌𝚎𝚜𝚜𝚒𝚋𝚒𝚕𝚒𝚝𝚢

  2. 𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚝𝚒𝚖𝚎_𝚠𝚒𝚗𝚍𝚘𝚠_𝚜𝚞𝚖

ctrs/fig_tree_a_x_i_y_x_c2_x_i_y_y
  1. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚜𝚊𝚖𝚎_𝚟𝚊𝚕𝚞𝚎

  2. 𝚊𝚖𝚘𝚗𝚐

  3. 𝚊𝚖𝚘𝚗𝚐_𝚟𝚊𝚛

  4. 𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚊𝚝𝚕𝚎𝚊𝚜𝚝

  5. 𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚊𝚝𝚖𝚘𝚜𝚝

  6. 𝚌𝚕𝚊𝚞𝚜𝚎_𝚊𝚗𝚍

  7. 𝚌𝚕𝚊𝚞𝚜𝚎_𝚘𝚛

  8. 𝚍𝚒𝚏𝚏𝚎𝚛_𝚏𝚛𝚘𝚖_𝚊𝚝_𝚕𝚎𝚊𝚜𝚝_𝚔_𝚙𝚘𝚜

  9. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚗

  10. 𝚗𝚟𝚊𝚕𝚞𝚎_𝚘𝚗_𝚒𝚗𝚝𝚎𝚛𝚜𝚎𝚌𝚝𝚒𝚘𝚗

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

  12. 𝚜𝚊𝚖𝚎_𝚖𝚘𝚍𝚞𝚕𝚘

  13. 𝚜𝚘𝚏𝚝_𝚜𝚊𝚖𝚎_𝚟𝚊𝚛

  14. 𝚜𝚘𝚏𝚝_𝚞𝚜𝚎𝚍_𝚋𝚢_𝚟𝚊𝚛

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

  16. 𝚞𝚜𝚎𝚍_𝚋𝚢_𝚖𝚘𝚍𝚞𝚕𝚘


ctrs/fig_tree_a_x_i_y_x_c2_x_i_y_y_
ctrs/fig_tree_a_x_i_y_x_c_x_i_y_y_x_c_x_c_x_i_y_y_y
  1. 𝚋𝚊𝚕𝚊𝚗𝚌𝚎_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗

  2. 𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚊𝚝𝚖𝚘𝚜𝚝_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗

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

  4. 𝚌𝚘𝚗𝚍_𝚕𝚎𝚡_𝚌𝚘𝚜𝚝

  5. 𝚗𝚌𝚕𝚊𝚜𝚜

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

  2. 𝚜𝚞𝚖_𝚘𝚏_𝚠𝚎𝚒𝚐𝚑𝚝𝚜_𝚘𝚏_𝚍𝚒𝚜𝚝𝚒𝚗𝚌𝚝_𝚟𝚊𝚕𝚞𝚎𝚜

ctrs/fig_tree_a_x_i_y_x_c_x_i_y_y_x_c_x_i3_y_y
  1. 𝚖𝚒𝚗𝚒𝚖𝚞𝚖_𝚠𝚎𝚒𝚐𝚑𝚝_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  2. 𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚍𝚒𝚜𝚝𝚛𝚒𝚋𝚞𝚝𝚒𝚘𝚗

ctrs/fig_tree_a_x_i_y_x_c2_x_i2_y_y
  1. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝_𝚜𝚙𝚊𝚛𝚜𝚎

  2. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜_𝚜𝚙𝚊𝚛𝚜𝚎


ctrs/fig_tree_a_x_i_y_x_c2_x_i2_y_y_
ctrs/fig_tree_a_x_i_y_x_c2_x_i3_y_y
  1. 𝚘𝚛𝚝𝚑_𝚘𝚗_𝚝𝚘𝚙_𝚘𝚏_𝚘𝚛𝚝𝚑

  2. 𝚝𝚠𝚘_𝚘𝚛𝚝𝚑_𝚌𝚘𝚕𝚞𝚖𝚗

  3. 𝚝𝚠𝚘_𝚘𝚛𝚝𝚑_𝚒𝚗𝚌𝚕𝚞𝚍𝚎

ctrs/fig_tree_a_x_i_y_x_c_x_i2_y_x_c_x_i_y_y_y_x_c_x_i_y_x_c2_x_i_y_y_y
  1. 𝚐𝚎𝚘𝚜𝚝

ctrs/fig_tree_a_x_s2_y_x_c_x_i_y_y
  1. 𝚛𝚘𝚘𝚝𝚜

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

ctrs/fig_tree_a_x_s_y_x_c_x_i_y_y_x_c_x_i3_y_y
  1. 𝚘𝚙𝚎𝚗_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚕𝚘𝚠_𝚞𝚙

ctrs/fig_tree_a_x_c3_x_i_y_y
  1. 𝚌𝚘𝚛𝚛𝚎𝚜𝚙𝚘𝚗𝚍𝚎𝚗𝚌𝚎

  2. 𝚕𝚎𝚡_𝚋𝚎𝚝𝚠𝚎𝚎𝚗

  3. 𝚜𝚘𝚛𝚝_𝚙𝚎𝚛𝚖𝚞𝚝𝚊𝚝𝚒𝚘𝚗


ctrs/fig_tree_a_x_c3_x_i_y_y_
ctrs/fig_tree_a_x_c_x_i_y_y_x_c2_x_i_y_x_s_y_y
  1. 𝚜𝚞𝚋𝚐𝚛𝚊𝚙𝚑_𝚒𝚜𝚘𝚖𝚘𝚛𝚙𝚑𝚒𝚜𝚖

  2. 𝚐𝚛𝚊𝚙𝚑_𝚒𝚜𝚘𝚖𝚘𝚛𝚙𝚑𝚒𝚜𝚖

ctrs/fig_tree_a_x_c2_x_i_y_y_x_c_x_c_x_i_y_y_y
  1. 𝚌𝚘𝚗𝚍_𝚕𝚎𝚡_𝚐𝚛𝚎𝚊𝚝𝚎𝚛

  2. 𝚌𝚘𝚗𝚍_𝚕𝚎𝚡_𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚

  3. 𝚌𝚘𝚗𝚍_𝚕𝚎𝚡_𝚕𝚎𝚜𝚜

  4. 𝚌𝚘𝚗𝚍_𝚕𝚎𝚡_𝚕𝚎𝚜𝚜𝚎𝚚

  5. 𝚜𝚊𝚖𝚎_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗

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


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

ctrs/fig_tree_a_x_c2_x_i_y_y_x_c_x_i3_y_y
  1. 𝚜𝚊𝚖𝚎_𝚊𝚗𝚍_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚕𝚘𝚠_𝚞𝚙