3.5.4. Constraints with 4 arguments

ctrs/fig_tree_a_x_a2_y_x_i_y_x_c_x_i2_y_y
  1. 𝚌𝚑𝚊𝚗𝚐𝚎_𝚙𝚊𝚒𝚛

ctrs/fig_tree_a_x_a_y_x_i2_y_x_c_x_i_y_y
  1. 𝚌𝚘𝚞𝚗𝚝

  2. 𝚌𝚢𝚌𝚕𝚒𝚌_𝚌𝚑𝚊𝚗𝚐𝚎

  3. 𝚌𝚢𝚌𝚕𝚒𝚌_𝚌𝚑𝚊𝚗𝚐𝚎_𝚓𝚘𝚔𝚎𝚛

ctrs/fig_tree_a_x_a_y_x_i_y_x_s_y_x_c_x_i2_y_y
  1. 𝚜𝚞𝚖_𝚜𝚎𝚝

ctrs/fig_tree_a_x_a_y_x_i_y_x_c2_x_i_y_y
  1. 𝚊𝚛𝚒𝚝𝚑_𝚘𝚛

  2. 𝚌𝚘𝚞𝚗𝚝𝚜

  3. 𝚍𝚒𝚜𝚝𝚊𝚗𝚌𝚎_𝚋𝚎𝚝𝚠𝚎𝚎𝚗

  4. 𝚍𝚒𝚜𝚝𝚊𝚗𝚌𝚎_𝚌𝚑𝚊𝚗𝚐𝚎

ctrs/fig_tree_a_x_a_y_x_i_y_x_c_x_i_y_y_x_c_x_i2_y_y
  1. 𝚊𝚜𝚜𝚒𝚐𝚗_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝𝚜

ctrs/fig_tree_a_x_i4_y
  1. 𝚒𝚗_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚛𝚎𝚒𝚏𝚒𝚎𝚍

ctrs/fig_tree_a_x_i3_y_x_c_x_i_y_y
  1. 𝚊𝚖𝚘𝚗𝚐_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕

  2. 𝚊𝚖𝚘𝚗𝚐_𝚖𝚘𝚍𝚞𝚕𝚘

  3. 𝚎𝚕𝚎𝚖𝚎𝚗𝚝_𝚙𝚛𝚘𝚍𝚞𝚌𝚝

  4. 𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚜𝚞𝚖

ctrs/fig_tree_a_x_i3_y_x_c_x_i2_y_y
  1. 𝚗𝚎𝚡𝚝_𝚎𝚕𝚎𝚖𝚎𝚗𝚝

ctrs/fig_tree_a_x_i3_y_x_c_x_i3_y_y
  1. 𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚝𝚒𝚖𝚎_𝚠𝚒𝚗𝚍𝚘𝚠_𝚏𝚛𝚘𝚖_𝚜𝚝𝚊𝚛𝚝

ctrs/fig_tree_a_x_i3_y_x_c_x_i4_y_y
  1. 𝚜𝚘𝚏𝚝_𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎

ctrs/fig_tree_a_x_i2_y_x_s_y_x_c_x_i_y_y
  1. 𝚘𝚙𝚎𝚗_𝚊𝚝𝚕𝚎𝚊𝚜𝚝

  2. 𝚘𝚙𝚎𝚗_𝚊𝚝𝚖𝚘𝚜𝚝

ctrs/fig_tree_a_x_i2_y_x_c2_x_i_y_y
  1. 𝚊𝚖𝚘𝚗𝚐_𝚕𝚘𝚠_𝚞𝚙

  2. 𝚌𝚘𝚖𝚖𝚘𝚗

  3. 𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚌𝚊𝚛𝚍_𝚜𝚔𝚒𝚙0

  4. 𝚜𝚘𝚏𝚝_𝚜𝚊𝚖𝚎_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚟𝚊𝚛

  5. 𝚜𝚘𝚏𝚝_𝚜𝚊𝚖𝚎_𝚖𝚘𝚍𝚞𝚕𝚘_𝚟𝚊𝚛

  6. 𝚜𝚘𝚏𝚝_𝚞𝚜𝚎𝚍_𝚋𝚢_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚟𝚊𝚛

  7. 𝚜𝚘𝚏𝚝_𝚞𝚜𝚎𝚍_𝚋𝚢_𝚖𝚘𝚍𝚞𝚕𝚘_𝚟𝚊𝚛


ctrs/fig_tree_a_x_i2_y_x_c2_x_i_y_y_
ctrs/fig_tree_a_x_i2_y_x_c_x_i_y_y_x_c_x_i2_y_y
  1. 𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝

  2. 𝚠𝚎𝚒𝚐𝚑𝚝𝚎𝚍_𝚙𝚊𝚛𝚝𝚒𝚊𝚕_𝚊𝚕𝚕𝚍𝚒𝚏𝚏

ctrs/fig_tree_a_x_i2_y_x_c_x_i_y_y_x_c_x_i_y_x_s_y_y
  1. 𝚜𝚞𝚖

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

ctrs/fig_tree_a_x_i_y_x_s_y_x_c2_x_i_y_y
  1. 𝚘𝚙𝚎𝚗_𝚊𝚖𝚘𝚗𝚐

ctrs/fig_tree_a_x_i_y_x_s_y_x_c_x_i_y_x_c2_x_i_y_y_y_x_c_x_i5_y_x_c_x_i_y_y_y
  1. 𝚐𝚎𝚘𝚜𝚝_𝚝𝚒𝚖𝚎

ctrs/fig_tree_a_x_i_y_x_c3_x_i_y_x_s_y_y
  1. 𝚍𝚘𝚖_𝚛𝚎𝚊𝚌𝚑𝚊𝚋𝚒𝚕𝚒𝚝𝚢

ctrs/fig_tree_a_x_i_y_x_c2_x_i_y_y_x_c_x_c_x_i_y_y_y
  1. 𝚜𝚘𝚏𝚝_𝚜𝚊𝚖𝚎_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗_𝚟𝚊𝚛

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


ctrs/fig_tree_a_x_i_y_x_c2_x_i_y_y_x_c_x_c_x_i_y_y_y_
ctrs/fig_tree_a_x_i_y_x_c_x_i_y_y_x_c_x_i2_y_y_x_c_x_i3_y_y
  1. 𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚠𝚒𝚝𝚑_𝚌𝚘𝚜𝚝𝚜

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