Deep First Formal Concept Search

<table>The current path <svg height="13.2498pt" id="M426" style="vertical-align:-3.571899pt" version="1.1" viewbox="-0.0498162 -9.6779 123.41 13.2498" width="123.41pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.0135,0,0,-0.0135,0,0)"><path d="M600 480C600 590 528 650 384 650H143L137 622C222 614 225 607 210 531L130 127C113 41 106 36 23 28L17 0H294L300 28C204 36 195 42 212 127L243 284L314 263C327 263 339 263 352 264C465 271 600 337 600 480ZM508 481C508 351 402 304 329 304C289 304 265 311 250 317L295 559C302 594 310 606 323 611C335 616 350 619 367 619C455 619 508 573 508 481Z" id="g113-81"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="617" vert-adv-y="617"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,12.15,0)"><path d="M535 323V373H52V323H535ZM535 138V188H52V138H535Z" id="g117-34"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="587" vert-adv-y="587"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,23.887,0)"><path d="M293 -169V-141C218 -131 209 -90 209 -44C209 19 222 85 222 152C222 207 198 255 139 269V273C199 286 222 334 222 388C222 454 209 523 209 588C209 632 218 671 293 681V709C234 709 148 695 148 577C147 513 155 438 155 372C155 337 152 291 64 285V256C152 250 155 204 155 169C156 105 148 31 148 -41C148 -157 234 -169 293 -169Z" id="g113-124"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="347" vert-adv-y="347"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,28.589,0)"><path d="M699 659C666 654 622 640 595 610C579 591 569 572 562 530L552 472C530 342 504 307 403 302V529C403 604 411 617 483 622V650H238V622C310 617 318 604 318 529V302C232 308 194 347 172 471L161 531C153 573 145 592 131 609C103 643 59 654 25 659L15 632C62 611 63 583 73 524L85 452C97 383 116 347 155 316C199 282 255 269 318 267V122C318 46 310 33 233 28V0H489V28C412 33 403 46 403 122V267C470 269 518 283 559 315C599 346 618 378 632 450L646 519C658 580 665 608 709 632L699 659Z" id="g113-152"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="725" vert-adv-y="725"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,37.056,0)"><path d="M671 0V28C608 36 593 47 562 130C495 309 432 486 368 665L336 656C270 481 202 311 134 139C98 47 84 39 20 28V0H241V28C167 38 156 47 178 115C217 236 276 383 327 530H329C375 398 437 223 484 92C499 47 489 37 424 28V0H671Z" id="g113-140"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="686" vert-adv-y="686"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,46.342,0)"><path d="M483 97L471 123C436 91 401 65 392 65C388 65 384 74 390 106C414 239 444 378 457 429L455 433C444 433 429 436 416 439C392 444 368 448 344 448C281 448 204 415 152 376C71 315 23 205 23 103C23 21 57 -12 85 -12C114 -12 149 6 185 34C231 70 285 119 329 183H331L309 81C292 0 308 -12 326 -12C350 -12 421 24 483 97ZM374 387C370 363 356 291 345 261C315 193 181 50 139 50C124 50 110 71 110 118C110 224 153 331 218 379C238 394 271 402 301 402C329 402 359 394 374 387Z" id="g113-98"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="506" vert-adv-y="506"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,53.2,0)"><path d="M671 0V28C608 36 593 47 562 130C495 309 432 486 368 665L336 656C270 481 202 311 134 139C98 47 84 39 20 28V0H241V28C167 38 156 47 178 115C217 236 276 383 327 530H329C375 398 437 223 484 92C499 47 489 37 424 28V0H671Z" id="g113-140"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="686" vert-adv-y="686"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,62.486,0)"><path d="M383 397C383 424 344 448 299 448C244 448 172 409 132 375C66 319 23 227 23 146C23 42 74 -12 146 -12C208 -12 298 30 359 103L343 124C315 95 248 48 192 48C145 48 111 85 111 163C111 228 129 294 151 330C171 363 201 401 241 401C275 401 302 384 325 356C332 347 339 344 348 348C373 360 383 381 383 397Z" id="g113-100"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="406" vert-adv-y="406"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,67.991,0)"><path d="M671 0V28C608 36 593 47 562 130C495 309 432 486 368 665L336 656C270 481 202 311 134 139C98 47 84 39 20 28V0H241V28C167 38 156 47 178 115C217 236 276 383 327 530H329C375 398 437 223 484 92C499 47 489 37 424 28V0H671Z" id="g113-140"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="686" vert-adv-y="686"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,77.278,0)"><path d="M546 430L539 434C529 434 505 438 495 440C473 444 450 448 430 448C352 448 265 412 213 366C145 306 96 203 96 103C96 22 135 -12 160 -12C190 -12 238 14 262 32C310 68 368 120 411 184H413C403 117 396 75 384 21C353 -118 325 -158 291 -184C270 -200 241 -205 208 -205C133 -205 90 -164 74 -110C70 -98 58 -100 49 -107C34 -119 23 -140 23 -155C23 -190 74 -261 166 -261C219 -261 280 -233 314 -208C383 -157 446 -79 470 81C491 223 529 388 546 430ZM456 386C452 357 433 283 420 252C402 216 366 174 325 129C288 88 239 56 212 56C192 56 182 77 182 120C182 165 199 242 226 292C256 348 281 377 311 389C327 395 353 402 375 402C408 402 436 394 456 386Z" id="g113-104"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="569" vert-adv-y="569"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,84.988,0)"><path d="M671 0V28C608 36 593 47 562 130C495 309 432 486 368 665L336 656C270 481 202 311 134 139C98 47 84 39 20 28V0H241V28C167 38 156 47 178 115C217 236 276 383 327 530H329C375 398 437 223 484 92C499 47 489 37 424 28V0H671Z" id="g113-140"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="686" vert-adv-y="686"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,93.459,0)"><path d="M619 670C619 686 593 712 555 712S459 686 410 634S335 504 320 430H250L219 400L222 388H312L258 73C223 -133 201 -166 187 -180C175 -191 158 -199 140 -199C123 -199 88 -188 74 -172C68 -166 63 -164 54 -171C38 -185 23 -201 23 -215C23 -236 60 -261 93 -261C122 -261 161 -247 207 -200C268 -138 300 -71 337 94C365 220 376 277 394 387L501 399L521 430H401C432 623 464 665 501 665C524 665 544 651 567 627C577 617 583 618 592 625C601 631 619 651 619 670Z" id="g113-103"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="642" vert-adv-y="642"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,101.347,0)"><path d="M671 0V28C608 36 593 47 562 130C495 309 432 486 368 665L336 656C270 481 202 311 134 139C98 47 84 39 20 28V0H241V28C167 38 156 47 178 115C217 236 276 383 327 530H329C375 398 437 223 484 92C499 47 489 37 424 28V0H671Z" id="g113-140"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="686" vert-adv-y="686"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,110.634,0)"><path d="M530 686C535 705 530 712 521 712C504 712 448 684 359 674L358 648H393C437 648 439 646 429 593L400 435C372 447 345 448 332 448C286 448 194 414 144 373C68 311 23 203 23 111C23 26 57 -12 91 -12C120 -12 147 3 188 29C227 54 290 102 341 170H343L322 71C308 6 320 -12 341 -12C373 -12 442 27 501 96L485 120C455 91 422 67 408 67C401 67 401 76 404 91C440 294 479 473 530 686ZM387 375L355 241C326 187 200 53 142 53C126 53 109 73 109 130C109 217 154 337 218 381C240 396 265 404 297 404S372 390 387 375Z" id="g113-101"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="555" vert-adv-y="555"></glyph.data></g><g transform="matrix(.0135,0,0,-0.0135,118.153,0)"><path d="M283 255V284C195 290 192 337 192 375C192 436 200 508 200 580C200 696 116 709 54 709V681C127 671 139 634 139 588C138 524 125 452 125 387C125 333 149 286 209 272V268C148 253 125 206 125 151C126 87 139 16 139 -47C139 -92 127 -131 54 -141V-169C115 -169 200 -152 200 -41C200 32 192 104 192 164C192 202 195 249 283 255Z" id="g113-126"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="347" vert-adv-y="347"></glyph.data></g></svg>.</table>

The Scientific World Journal

Deep First Formal Concept Search

Figure 6