<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vn7nofcn79mt99btaplidmgii1, 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 />
!7

sS inputDiagrams = [[
  CirclesAndLines(circles=[Circle(text="A", x=d("0.3184438040345821"), y=d("0.5454545454545454")), Circle(text="B", x=d("0.6786743515850144"), y=d("0.5493230174081238"))], lines=[Arrow(a=t5, b=t26, text="is"), Arrow(a=t26, b=t5, text="then: is?")], title="A B B A")
]];

p-subst {
  Web web = webFromCALStructure(inputDiagrams);
  //printWeb(web);
  Web web2 = web_withoutRelationsStartingWith(web, "Then:");
  Web web3 = web_keepOnlyRelationsStartingWith(cloneWeb(web), "Then:");
  showTabbedWebs("Instruction", web, "If", web2, "Then", web3);
}