<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_g7nprod08erkfcdf0hv2g6rmvg, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!759

sS inputDiagrams = [[
  CirclesAndLines(circles=[Circle(text="A [Anything]", x=d("0.32"), y=d("0.55")), Circle(text="B [Anything]", x=d("0.68"), y=d("0.55"))], lines=[Arrow(a=t5, b=t26, text="is"), Arrow(a=t26, b=t5, text="then: is?")], title="A B B A")
  CirclesAndLines(circles=[Circle(quickvis="Philosophy", text="Philosophy", x=d("0.27"), y=d("0.47")), Circle(quickvis="Asking questions", text="Asking questions", x=d("0.75"), y=d("0.47"))], lines=[Arrow(a=t5, b=t30, text="is")], title="Philosophy")
]];

p-noconsole {
  cal_lineLength(50);
  L<Web> webs = websFromCALStructures_vis(inputDiagrams);
  
  Web web = first(webs); // Instruction
  
  Web patternWeb, Map<WebNode> patternMap = unpair cloneWebWithMap(web);
  web_dropRelationsStartingWith(patternWeb, "Then:");
  
  Web thenWeb, Map<WebNode> thenMap = unpair cloneWebWithMap(web);
  web_unpackRelationsStartingWith(web3, "Then:");
  Web inputWeb = last(webs);
  
  Map<WebNode> match = web_matchAllPerms(patternWeb, inputWeb);
  
  // Clone inputWeb to get resultWeb
  Web resultWeb, Map<WebNode> resultMap = unpair cloneWebWithMap(inputWeb);
  
  if (match != null) {
    // Then add relations from thenWeb
    for (WebRelation rel : web_relationObjects(thenWeb)) {
      WebNode a = mapGet(match, mapGet(patternMap, reverseLookup(thenMap, rel.a));
      WebNode b = mapGet(match, mapGet(patternMap, reverseLookup(thenMap, rel.b));
      if (a != null && b != null) {
        print("Adding labels " + rel.labels + " to: " + a + " - " + b);
        //web_addRelations(
      }
    }
  
  showTabbedWebs("Instruction", web, "If", web2, "Then", web3, "Input", inputWeb, "Result", resultWeb != null ? resultWeb : jlabel("Sorry"));
}