forked from panda-planner-dev/ipc2020-domains
-
Notifications
You must be signed in to change notification settings - Fork 0
/
genericLinearProblem_depth30.hddl
1013 lines (1010 loc) · 58.3 KB
/
genericLinearProblem_depth30.hddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(define(problem generischesLinearesVerkabelungsproblemTiefe30)
(:domain verkabelung)
(:objects
;; Available Types
plugType1 - PlugType
plugType2 - PlugType
plugType3 - PlugType
plugType4 - PlugType
plugType5 - PlugType
plugType6 - PlugType
plugType7 - PlugType
plugType8 - PlugType
plugType9 - PlugType
plugType10 - PlugType
plugType11 - PlugType
plugType12 - PlugType
plugType13 - PlugType
plugType14 - PlugType
plugType15 - PlugType
plugType16 - PlugType
plugType17 - PlugType
plugType18 - PlugType
plugType19 - PlugType
plugType20 - PlugType
plugType21 - PlugType
plugType22 - PlugType
plugType23 - PlugType
plugType24 - PlugType
plugType25 - PlugType
plugType26 - PlugType
plugType27 - PlugType
plugType28 - PlugType
plugType29 - PlugType
plugType30 - PlugType
data - SignalType
;; Cables
cableWithPlugType1 - Cable
cableWithPlugType2 - Cable
cableWithPlugType3 - Cable
cableWithPlugType4 - Cable
cableWithPlugType5 - Cable
cableWithPlugType6 - Cable
cableWithPlugType7 - Cable
cableWithPlugType8 - Cable
cableWithPlugType9 - Cable
cableWithPlugType10 - Cable
cableWithPlugType11 - Cable
cableWithPlugType12 - Cable
cableWithPlugType13 - Cable
cableWithPlugType14 - Cable
cableWithPlugType15 - Cable
cableWithPlugType16 - Cable
cableWithPlugType17 - Cable
cableWithPlugType18 - Cable
cableWithPlugType19 - Cable
cableWithPlugType20 - Cable
cableWithPlugType21 - Cable
cableWithPlugType22 - Cable
cableWithPlugType23 - Cable
cableWithPlugType24 - Cable
cableWithPlugType25 - Cable
cableWithPlugType26 - Cable
cableWithPlugType27 - Cable
cableWithPlugType28 - Cable
cableWithPlugType29 - Cable
cableWithPlugType30 - Cable
;; Devices
pc printer - Device
;; Adapters
adapterFromPlugType1ToPlugType2 - Adapter
adapterFromPlugType2ToPlugType3 - Adapter
adapterFromPlugType3ToPlugType4 - Adapter
adapterFromPlugType4ToPlugType5 - Adapter
adapterFromPlugType5ToPlugType6 - Adapter
adapterFromPlugType6ToPlugType7 - Adapter
adapterFromPlugType7ToPlugType8 - Adapter
adapterFromPlugType8ToPlugType9 - Adapter
adapterFromPlugType9ToPlugType10 - Adapter
adapterFromPlugType10ToPlugType11 - Adapter
adapterFromPlugType11ToPlugType12 - Adapter
adapterFromPlugType12ToPlugType13 - Adapter
adapterFromPlugType13ToPlugType14 - Adapter
adapterFromPlugType14ToPlugType15 - Adapter
adapterFromPlugType15ToPlugType16 - Adapter
adapterFromPlugType16ToPlugType17 - Adapter
adapterFromPlugType17ToPlugType18 - Adapter
adapterFromPlugType18ToPlugType19 - Adapter
adapterFromPlugType19ToPlugType20 - Adapter
adapterFromPlugType20ToPlugType21 - Adapter
adapterFromPlugType21ToPlugType22 - Adapter
adapterFromPlugType22ToPlugType23 - Adapter
adapterFromPlugType23ToPlugType24 - Adapter
adapterFromPlugType24ToPlugType25 - Adapter
adapterFromPlugType25ToPlugType26 - Adapter
adapterFromPlugType26ToPlugType27 - Adapter
adapterFromPlugType27ToPlugType28 - Adapter
adapterFromPlugType28ToPlugType29 - Adapter
adapterFromPlugType29ToPlugType30 - Adapter
;; Cable - Ports
cableWithPlugType1-a - Port
cableWithPlugType1-b - Port
cableWithPlugType2-a - Port
cableWithPlugType2-b - Port
cableWithPlugType3-a - Port
cableWithPlugType3-b - Port
cableWithPlugType4-a - Port
cableWithPlugType4-b - Port
cableWithPlugType5-a - Port
cableWithPlugType5-b - Port
cableWithPlugType6-a - Port
cableWithPlugType6-b - Port
cableWithPlugType7-a - Port
cableWithPlugType7-b - Port
cableWithPlugType8-a - Port
cableWithPlugType8-b - Port
cableWithPlugType9-a - Port
cableWithPlugType9-b - Port
cableWithPlugType10-a - Port
cableWithPlugType10-b - Port
cableWithPlugType11-a - Port
cableWithPlugType11-b - Port
cableWithPlugType12-a - Port
cableWithPlugType12-b - Port
cableWithPlugType13-a - Port
cableWithPlugType13-b - Port
cableWithPlugType14-a - Port
cableWithPlugType14-b - Port
cableWithPlugType15-a - Port
cableWithPlugType15-b - Port
cableWithPlugType16-a - Port
cableWithPlugType16-b - Port
cableWithPlugType17-a - Port
cableWithPlugType17-b - Port
cableWithPlugType18-a - Port
cableWithPlugType18-b - Port
cableWithPlugType19-a - Port
cableWithPlugType19-b - Port
cableWithPlugType20-a - Port
cableWithPlugType20-b - Port
cableWithPlugType21-a - Port
cableWithPlugType21-b - Port
cableWithPlugType22-a - Port
cableWithPlugType22-b - Port
cableWithPlugType23-a - Port
cableWithPlugType23-b - Port
cableWithPlugType24-a - Port
cableWithPlugType24-b - Port
cableWithPlugType25-a - Port
cableWithPlugType25-b - Port
cableWithPlugType26-a - Port
cableWithPlugType26-b - Port
cableWithPlugType27-a - Port
cableWithPlugType27-b - Port
cableWithPlugType28-a - Port
cableWithPlugType28-b - Port
cableWithPlugType29-a - Port
cableWithPlugType29-b - Port
cableWithPlugType30-a - Port
cableWithPlugType30-b - Port
;; Device - Ports
printer-aPlugType30 pc-bPlugType1 - Port
;; Adapter - Ports
adapterFromPlugType1ToPlugType2-aPlugType1 - Port
adapterFromPlugType1ToPlugType2-bPlugType2 - Port
adapterFromPlugType2ToPlugType3-aPlugType2 - Port
adapterFromPlugType2ToPlugType3-bPlugType3 - Port
adapterFromPlugType3ToPlugType4-aPlugType3 - Port
adapterFromPlugType3ToPlugType4-bPlugType4 - Port
adapterFromPlugType4ToPlugType5-aPlugType4 - Port
adapterFromPlugType4ToPlugType5-bPlugType5 - Port
adapterFromPlugType5ToPlugType6-aPlugType5 - Port
adapterFromPlugType5ToPlugType6-bPlugType6 - Port
adapterFromPlugType6ToPlugType7-aPlugType6 - Port
adapterFromPlugType6ToPlugType7-bPlugType7 - Port
adapterFromPlugType7ToPlugType8-aPlugType7 - Port
adapterFromPlugType7ToPlugType8-bPlugType8 - Port
adapterFromPlugType8ToPlugType9-aPlugType8 - Port
adapterFromPlugType8ToPlugType9-bPlugType9 - Port
adapterFromPlugType9ToPlugType10-aPlugType9 - Port
adapterFromPlugType9ToPlugType10-bPlugType10 - Port
adapterFromPlugType10ToPlugType11-aPlugType10 - Port
adapterFromPlugType10ToPlugType11-bPlugType11 - Port
adapterFromPlugType11ToPlugType12-aPlugType11 - Port
adapterFromPlugType11ToPlugType12-bPlugType12 - Port
adapterFromPlugType12ToPlugType13-aPlugType12 - Port
adapterFromPlugType12ToPlugType13-bPlugType13 - Port
adapterFromPlugType13ToPlugType14-aPlugType13 - Port
adapterFromPlugType13ToPlugType14-bPlugType14 - Port
adapterFromPlugType14ToPlugType15-aPlugType14 - Port
adapterFromPlugType14ToPlugType15-bPlugType15 - Port
adapterFromPlugType15ToPlugType16-aPlugType15 - Port
adapterFromPlugType15ToPlugType16-bPlugType16 - Port
adapterFromPlugType16ToPlugType17-aPlugType16 - Port
adapterFromPlugType16ToPlugType17-bPlugType17 - Port
adapterFromPlugType17ToPlugType18-aPlugType17 - Port
adapterFromPlugType17ToPlugType18-bPlugType18 - Port
adapterFromPlugType18ToPlugType19-aPlugType18 - Port
adapterFromPlugType18ToPlugType19-bPlugType19 - Port
adapterFromPlugType19ToPlugType20-aPlugType19 - Port
adapterFromPlugType19ToPlugType20-bPlugType20 - Port
adapterFromPlugType20ToPlugType21-aPlugType20 - Port
adapterFromPlugType20ToPlugType21-bPlugType21 - Port
adapterFromPlugType21ToPlugType22-aPlugType21 - Port
adapterFromPlugType21ToPlugType22-bPlugType22 - Port
adapterFromPlugType22ToPlugType23-aPlugType22 - Port
adapterFromPlugType22ToPlugType23-bPlugType23 - Port
adapterFromPlugType23ToPlugType24-aPlugType23 - Port
adapterFromPlugType23ToPlugType24-bPlugType24 - Port
adapterFromPlugType24ToPlugType25-aPlugType24 - Port
adapterFromPlugType24ToPlugType25-bPlugType25 - Port
adapterFromPlugType25ToPlugType26-aPlugType25 - Port
adapterFromPlugType25ToPlugType26-bPlugType26 - Port
adapterFromPlugType26ToPlugType27-aPlugType26 - Port
adapterFromPlugType26ToPlugType27-bPlugType27 - Port
adapterFromPlugType27ToPlugType28-aPlugType27 - Port
adapterFromPlugType27ToPlugType28-bPlugType28 - Port
adapterFromPlugType28ToPlugType29-aPlugType28 - Port
adapterFromPlugType28ToPlugType29-bPlugType29 - Port
adapterFromPlugType29ToPlugType30-aPlugType29 - Port
adapterFromPlugType29ToPlugType30-bPlugType30 - Port
)
(:htn
:tasks
(and
(ConnectDevices pc printer data)
)
)
(:init
;; PC
(isPartOf pc-bPlugType1 pc)
(isPlugType pc-bPlugType1 plugType1)
(isPlugFace pc-bPlugType1 female)
(isPlugDirection pc-bPlugType1 out)
(isSignalSource pc-bPlugType1 data)
;; Printer
(isPartOf printer-aPlugType30 printer)
(isPlugType printer-aPlugType30 plugType30)
(isPlugFace printer-aPlugType30 female)
(isPlugDirection printer-aPlugType30 in)
(isSignalDestination printer-aPlugType30 data)
;; Adapter 1->2
(isPartOf adapterFromPlugType1ToPlugType2-aPlugType1 adapterFromPlugType1ToPlugType2)
(isPartOf adapterFromPlugType1ToPlugType2-bPlugType2 adapterFromPlugType1ToPlugType2)
(isPlugType adapterFromPlugType1ToPlugType2-aPlugType1 plugType1)
(isPlugType adapterFromPlugType1ToPlugType2-bPlugType2 plugType2)
(isPlugFace adapterFromPlugType1ToPlugType2-aPlugType1 female)
(isPlugFace adapterFromPlugType1ToPlugType2-bPlugType2 female)
(isPlugDirection adapterFromPlugType1ToPlugType2-aPlugType1 both)
(isPlugDirection adapterFromPlugType1ToPlugType2-bPlugType2 both)
(isSignalRepeater adapterFromPlugType1ToPlugType2-aPlugType1 adapterFromPlugType1ToPlugType2-bPlugType2 data)
(isSignalRepeater adapterFromPlugType1ToPlugType2-bPlugType2 adapterFromPlugType1ToPlugType2-aPlugType1 data)
(isSignalSource adapterFromPlugType1ToPlugType2-aPlugType1 data)
(isSignalSource adapterFromPlugType1ToPlugType2-bPlugType2 data)
(isSignalDestination adapterFromPlugType1ToPlugType2-aPlugType1 data)
(isSignalDestination adapterFromPlugType1ToPlugType2-bPlugType2 data)
;; Adapter 2->3
(isPartOf adapterFromPlugType2ToPlugType3-aPlugType2 adapterFromPlugType2ToPlugType3)
(isPartOf adapterFromPlugType2ToPlugType3-bPlugType3 adapterFromPlugType2ToPlugType3)
(isPlugType adapterFromPlugType2ToPlugType3-aPlugType2 plugType2)
(isPlugType adapterFromPlugType2ToPlugType3-bPlugType3 plugType3)
(isPlugFace adapterFromPlugType2ToPlugType3-aPlugType2 female)
(isPlugFace adapterFromPlugType2ToPlugType3-bPlugType3 female)
(isPlugDirection adapterFromPlugType2ToPlugType3-aPlugType2 both)
(isPlugDirection adapterFromPlugType2ToPlugType3-bPlugType3 both)
(isSignalRepeater adapterFromPlugType2ToPlugType3-aPlugType2 adapterFromPlugType2ToPlugType3-bPlugType3 data)
(isSignalRepeater adapterFromPlugType2ToPlugType3-bPlugType3 adapterFromPlugType2ToPlugType3-aPlugType2 data)
(isSignalSource adapterFromPlugType2ToPlugType3-aPlugType2 data)
(isSignalSource adapterFromPlugType2ToPlugType3-bPlugType3 data)
(isSignalDestination adapterFromPlugType2ToPlugType3-aPlugType2 data)
(isSignalDestination adapterFromPlugType2ToPlugType3-bPlugType3 data)
;; Adapter 3->4
(isPartOf adapterFromPlugType3ToPlugType4-aPlugType3 adapterFromPlugType3ToPlugType4)
(isPartOf adapterFromPlugType3ToPlugType4-bPlugType4 adapterFromPlugType3ToPlugType4)
(isPlugType adapterFromPlugType3ToPlugType4-aPlugType3 plugType3)
(isPlugType adapterFromPlugType3ToPlugType4-bPlugType4 plugType4)
(isPlugFace adapterFromPlugType3ToPlugType4-aPlugType3 female)
(isPlugFace adapterFromPlugType3ToPlugType4-bPlugType4 female)
(isPlugDirection adapterFromPlugType3ToPlugType4-aPlugType3 both)
(isPlugDirection adapterFromPlugType3ToPlugType4-bPlugType4 both)
(isSignalRepeater adapterFromPlugType3ToPlugType4-aPlugType3 adapterFromPlugType3ToPlugType4-bPlugType4 data)
(isSignalRepeater adapterFromPlugType3ToPlugType4-bPlugType4 adapterFromPlugType3ToPlugType4-aPlugType3 data)
(isSignalSource adapterFromPlugType3ToPlugType4-aPlugType3 data)
(isSignalSource adapterFromPlugType3ToPlugType4-bPlugType4 data)
(isSignalDestination adapterFromPlugType3ToPlugType4-aPlugType3 data)
(isSignalDestination adapterFromPlugType3ToPlugType4-bPlugType4 data)
;; Adapter 4->5
(isPartOf adapterFromPlugType4ToPlugType5-aPlugType4 adapterFromPlugType4ToPlugType5)
(isPartOf adapterFromPlugType4ToPlugType5-bPlugType5 adapterFromPlugType4ToPlugType5)
(isPlugType adapterFromPlugType4ToPlugType5-aPlugType4 plugType4)
(isPlugType adapterFromPlugType4ToPlugType5-bPlugType5 plugType5)
(isPlugFace adapterFromPlugType4ToPlugType5-aPlugType4 female)
(isPlugFace adapterFromPlugType4ToPlugType5-bPlugType5 female)
(isPlugDirection adapterFromPlugType4ToPlugType5-aPlugType4 both)
(isPlugDirection adapterFromPlugType4ToPlugType5-bPlugType5 both)
(isSignalRepeater adapterFromPlugType4ToPlugType5-aPlugType4 adapterFromPlugType4ToPlugType5-bPlugType5 data)
(isSignalRepeater adapterFromPlugType4ToPlugType5-bPlugType5 adapterFromPlugType4ToPlugType5-aPlugType4 data)
(isSignalSource adapterFromPlugType4ToPlugType5-aPlugType4 data)
(isSignalSource adapterFromPlugType4ToPlugType5-bPlugType5 data)
(isSignalDestination adapterFromPlugType4ToPlugType5-aPlugType4 data)
(isSignalDestination adapterFromPlugType4ToPlugType5-bPlugType5 data)
;; Adapter 5->6
(isPartOf adapterFromPlugType5ToPlugType6-aPlugType5 adapterFromPlugType5ToPlugType6)
(isPartOf adapterFromPlugType5ToPlugType6-bPlugType6 adapterFromPlugType5ToPlugType6)
(isPlugType adapterFromPlugType5ToPlugType6-aPlugType5 plugType5)
(isPlugType adapterFromPlugType5ToPlugType6-bPlugType6 plugType6)
(isPlugFace adapterFromPlugType5ToPlugType6-aPlugType5 female)
(isPlugFace adapterFromPlugType5ToPlugType6-bPlugType6 female)
(isPlugDirection adapterFromPlugType5ToPlugType6-aPlugType5 both)
(isPlugDirection adapterFromPlugType5ToPlugType6-bPlugType6 both)
(isSignalRepeater adapterFromPlugType5ToPlugType6-aPlugType5 adapterFromPlugType5ToPlugType6-bPlugType6 data)
(isSignalRepeater adapterFromPlugType5ToPlugType6-bPlugType6 adapterFromPlugType5ToPlugType6-aPlugType5 data)
(isSignalSource adapterFromPlugType5ToPlugType6-aPlugType5 data)
(isSignalSource adapterFromPlugType5ToPlugType6-bPlugType6 data)
(isSignalDestination adapterFromPlugType5ToPlugType6-aPlugType5 data)
(isSignalDestination adapterFromPlugType5ToPlugType6-bPlugType6 data)
;; Adapter 6->7
(isPartOf adapterFromPlugType6ToPlugType7-aPlugType6 adapterFromPlugType6ToPlugType7)
(isPartOf adapterFromPlugType6ToPlugType7-bPlugType7 adapterFromPlugType6ToPlugType7)
(isPlugType adapterFromPlugType6ToPlugType7-aPlugType6 plugType6)
(isPlugType adapterFromPlugType6ToPlugType7-bPlugType7 plugType7)
(isPlugFace adapterFromPlugType6ToPlugType7-aPlugType6 female)
(isPlugFace adapterFromPlugType6ToPlugType7-bPlugType7 female)
(isPlugDirection adapterFromPlugType6ToPlugType7-aPlugType6 both)
(isPlugDirection adapterFromPlugType6ToPlugType7-bPlugType7 both)
(isSignalRepeater adapterFromPlugType6ToPlugType7-aPlugType6 adapterFromPlugType6ToPlugType7-bPlugType7 data)
(isSignalRepeater adapterFromPlugType6ToPlugType7-bPlugType7 adapterFromPlugType6ToPlugType7-aPlugType6 data)
(isSignalSource adapterFromPlugType6ToPlugType7-aPlugType6 data)
(isSignalSource adapterFromPlugType6ToPlugType7-bPlugType7 data)
(isSignalDestination adapterFromPlugType6ToPlugType7-aPlugType6 data)
(isSignalDestination adapterFromPlugType6ToPlugType7-bPlugType7 data)
;; Adapter 7->8
(isPartOf adapterFromPlugType7ToPlugType8-aPlugType7 adapterFromPlugType7ToPlugType8)
(isPartOf adapterFromPlugType7ToPlugType8-bPlugType8 adapterFromPlugType7ToPlugType8)
(isPlugType adapterFromPlugType7ToPlugType8-aPlugType7 plugType7)
(isPlugType adapterFromPlugType7ToPlugType8-bPlugType8 plugType8)
(isPlugFace adapterFromPlugType7ToPlugType8-aPlugType7 female)
(isPlugFace adapterFromPlugType7ToPlugType8-bPlugType8 female)
(isPlugDirection adapterFromPlugType7ToPlugType8-aPlugType7 both)
(isPlugDirection adapterFromPlugType7ToPlugType8-bPlugType8 both)
(isSignalRepeater adapterFromPlugType7ToPlugType8-aPlugType7 adapterFromPlugType7ToPlugType8-bPlugType8 data)
(isSignalRepeater adapterFromPlugType7ToPlugType8-bPlugType8 adapterFromPlugType7ToPlugType8-aPlugType7 data)
(isSignalSource adapterFromPlugType7ToPlugType8-aPlugType7 data)
(isSignalSource adapterFromPlugType7ToPlugType8-bPlugType8 data)
(isSignalDestination adapterFromPlugType7ToPlugType8-aPlugType7 data)
(isSignalDestination adapterFromPlugType7ToPlugType8-bPlugType8 data)
;; Adapter 8->9
(isPartOf adapterFromPlugType8ToPlugType9-aPlugType8 adapterFromPlugType8ToPlugType9)
(isPartOf adapterFromPlugType8ToPlugType9-bPlugType9 adapterFromPlugType8ToPlugType9)
(isPlugType adapterFromPlugType8ToPlugType9-aPlugType8 plugType8)
(isPlugType adapterFromPlugType8ToPlugType9-bPlugType9 plugType9)
(isPlugFace adapterFromPlugType8ToPlugType9-aPlugType8 female)
(isPlugFace adapterFromPlugType8ToPlugType9-bPlugType9 female)
(isPlugDirection adapterFromPlugType8ToPlugType9-aPlugType8 both)
(isPlugDirection adapterFromPlugType8ToPlugType9-bPlugType9 both)
(isSignalRepeater adapterFromPlugType8ToPlugType9-aPlugType8 adapterFromPlugType8ToPlugType9-bPlugType9 data)
(isSignalRepeater adapterFromPlugType8ToPlugType9-bPlugType9 adapterFromPlugType8ToPlugType9-aPlugType8 data)
(isSignalSource adapterFromPlugType8ToPlugType9-aPlugType8 data)
(isSignalSource adapterFromPlugType8ToPlugType9-bPlugType9 data)
(isSignalDestination adapterFromPlugType8ToPlugType9-aPlugType8 data)
(isSignalDestination adapterFromPlugType8ToPlugType9-bPlugType9 data)
;; Adapter 9->10
(isPartOf adapterFromPlugType9ToPlugType10-aPlugType9 adapterFromPlugType9ToPlugType10)
(isPartOf adapterFromPlugType9ToPlugType10-bPlugType10 adapterFromPlugType9ToPlugType10)
(isPlugType adapterFromPlugType9ToPlugType10-aPlugType9 plugType9)
(isPlugType adapterFromPlugType9ToPlugType10-bPlugType10 plugType10)
(isPlugFace adapterFromPlugType9ToPlugType10-aPlugType9 female)
(isPlugFace adapterFromPlugType9ToPlugType10-bPlugType10 female)
(isPlugDirection adapterFromPlugType9ToPlugType10-aPlugType9 both)
(isPlugDirection adapterFromPlugType9ToPlugType10-bPlugType10 both)
(isSignalRepeater adapterFromPlugType9ToPlugType10-aPlugType9 adapterFromPlugType9ToPlugType10-bPlugType10 data)
(isSignalRepeater adapterFromPlugType9ToPlugType10-bPlugType10 adapterFromPlugType9ToPlugType10-aPlugType9 data)
(isSignalSource adapterFromPlugType9ToPlugType10-aPlugType9 data)
(isSignalSource adapterFromPlugType9ToPlugType10-bPlugType10 data)
(isSignalDestination adapterFromPlugType9ToPlugType10-aPlugType9 data)
(isSignalDestination adapterFromPlugType9ToPlugType10-bPlugType10 data)
;; Adapter 10->11
(isPartOf adapterFromPlugType10ToPlugType11-aPlugType10 adapterFromPlugType10ToPlugType11)
(isPartOf adapterFromPlugType10ToPlugType11-bPlugType11 adapterFromPlugType10ToPlugType11)
(isPlugType adapterFromPlugType10ToPlugType11-aPlugType10 plugType10)
(isPlugType adapterFromPlugType10ToPlugType11-bPlugType11 plugType11)
(isPlugFace adapterFromPlugType10ToPlugType11-aPlugType10 female)
(isPlugFace adapterFromPlugType10ToPlugType11-bPlugType11 female)
(isPlugDirection adapterFromPlugType10ToPlugType11-aPlugType10 both)
(isPlugDirection adapterFromPlugType10ToPlugType11-bPlugType11 both)
(isSignalRepeater adapterFromPlugType10ToPlugType11-aPlugType10 adapterFromPlugType10ToPlugType11-bPlugType11 data)
(isSignalRepeater adapterFromPlugType10ToPlugType11-bPlugType11 adapterFromPlugType10ToPlugType11-aPlugType10 data)
(isSignalSource adapterFromPlugType10ToPlugType11-aPlugType10 data)
(isSignalSource adapterFromPlugType10ToPlugType11-bPlugType11 data)
(isSignalDestination adapterFromPlugType10ToPlugType11-aPlugType10 data)
(isSignalDestination adapterFromPlugType10ToPlugType11-bPlugType11 data)
;; Adapter 11->12
(isPartOf adapterFromPlugType11ToPlugType12-aPlugType11 adapterFromPlugType11ToPlugType12)
(isPartOf adapterFromPlugType11ToPlugType12-bPlugType12 adapterFromPlugType11ToPlugType12)
(isPlugType adapterFromPlugType11ToPlugType12-aPlugType11 plugType11)
(isPlugType adapterFromPlugType11ToPlugType12-bPlugType12 plugType12)
(isPlugFace adapterFromPlugType11ToPlugType12-aPlugType11 female)
(isPlugFace adapterFromPlugType11ToPlugType12-bPlugType12 female)
(isPlugDirection adapterFromPlugType11ToPlugType12-aPlugType11 both)
(isPlugDirection adapterFromPlugType11ToPlugType12-bPlugType12 both)
(isSignalRepeater adapterFromPlugType11ToPlugType12-aPlugType11 adapterFromPlugType11ToPlugType12-bPlugType12 data)
(isSignalRepeater adapterFromPlugType11ToPlugType12-bPlugType12 adapterFromPlugType11ToPlugType12-aPlugType11 data)
(isSignalSource adapterFromPlugType11ToPlugType12-aPlugType11 data)
(isSignalSource adapterFromPlugType11ToPlugType12-bPlugType12 data)
(isSignalDestination adapterFromPlugType11ToPlugType12-aPlugType11 data)
(isSignalDestination adapterFromPlugType11ToPlugType12-bPlugType12 data)
;; Adapter 12->13
(isPartOf adapterFromPlugType12ToPlugType13-aPlugType12 adapterFromPlugType12ToPlugType13)
(isPartOf adapterFromPlugType12ToPlugType13-bPlugType13 adapterFromPlugType12ToPlugType13)
(isPlugType adapterFromPlugType12ToPlugType13-aPlugType12 plugType12)
(isPlugType adapterFromPlugType12ToPlugType13-bPlugType13 plugType13)
(isPlugFace adapterFromPlugType12ToPlugType13-aPlugType12 female)
(isPlugFace adapterFromPlugType12ToPlugType13-bPlugType13 female)
(isPlugDirection adapterFromPlugType12ToPlugType13-aPlugType12 both)
(isPlugDirection adapterFromPlugType12ToPlugType13-bPlugType13 both)
(isSignalRepeater adapterFromPlugType12ToPlugType13-aPlugType12 adapterFromPlugType12ToPlugType13-bPlugType13 data)
(isSignalRepeater adapterFromPlugType12ToPlugType13-bPlugType13 adapterFromPlugType12ToPlugType13-aPlugType12 data)
(isSignalSource adapterFromPlugType12ToPlugType13-aPlugType12 data)
(isSignalSource adapterFromPlugType12ToPlugType13-bPlugType13 data)
(isSignalDestination adapterFromPlugType12ToPlugType13-aPlugType12 data)
(isSignalDestination adapterFromPlugType12ToPlugType13-bPlugType13 data)
;; Adapter 13->14
(isPartOf adapterFromPlugType13ToPlugType14-aPlugType13 adapterFromPlugType13ToPlugType14)
(isPartOf adapterFromPlugType13ToPlugType14-bPlugType14 adapterFromPlugType13ToPlugType14)
(isPlugType adapterFromPlugType13ToPlugType14-aPlugType13 plugType13)
(isPlugType adapterFromPlugType13ToPlugType14-bPlugType14 plugType14)
(isPlugFace adapterFromPlugType13ToPlugType14-aPlugType13 female)
(isPlugFace adapterFromPlugType13ToPlugType14-bPlugType14 female)
(isPlugDirection adapterFromPlugType13ToPlugType14-aPlugType13 both)
(isPlugDirection adapterFromPlugType13ToPlugType14-bPlugType14 both)
(isSignalRepeater adapterFromPlugType13ToPlugType14-aPlugType13 adapterFromPlugType13ToPlugType14-bPlugType14 data)
(isSignalRepeater adapterFromPlugType13ToPlugType14-bPlugType14 adapterFromPlugType13ToPlugType14-aPlugType13 data)
(isSignalSource adapterFromPlugType13ToPlugType14-aPlugType13 data)
(isSignalSource adapterFromPlugType13ToPlugType14-bPlugType14 data)
(isSignalDestination adapterFromPlugType13ToPlugType14-aPlugType13 data)
(isSignalDestination adapterFromPlugType13ToPlugType14-bPlugType14 data)
;; Adapter 14->15
(isPartOf adapterFromPlugType14ToPlugType15-aPlugType14 adapterFromPlugType14ToPlugType15)
(isPartOf adapterFromPlugType14ToPlugType15-bPlugType15 adapterFromPlugType14ToPlugType15)
(isPlugType adapterFromPlugType14ToPlugType15-aPlugType14 plugType14)
(isPlugType adapterFromPlugType14ToPlugType15-bPlugType15 plugType15)
(isPlugFace adapterFromPlugType14ToPlugType15-aPlugType14 female)
(isPlugFace adapterFromPlugType14ToPlugType15-bPlugType15 female)
(isPlugDirection adapterFromPlugType14ToPlugType15-aPlugType14 both)
(isPlugDirection adapterFromPlugType14ToPlugType15-bPlugType15 both)
(isSignalRepeater adapterFromPlugType14ToPlugType15-aPlugType14 adapterFromPlugType14ToPlugType15-bPlugType15 data)
(isSignalRepeater adapterFromPlugType14ToPlugType15-bPlugType15 adapterFromPlugType14ToPlugType15-aPlugType14 data)
(isSignalSource adapterFromPlugType14ToPlugType15-aPlugType14 data)
(isSignalSource adapterFromPlugType14ToPlugType15-bPlugType15 data)
(isSignalDestination adapterFromPlugType14ToPlugType15-aPlugType14 data)
(isSignalDestination adapterFromPlugType14ToPlugType15-bPlugType15 data)
;; Adapter 15->16
(isPartOf adapterFromPlugType15ToPlugType16-aPlugType15 adapterFromPlugType15ToPlugType16)
(isPartOf adapterFromPlugType15ToPlugType16-bPlugType16 adapterFromPlugType15ToPlugType16)
(isPlugType adapterFromPlugType15ToPlugType16-aPlugType15 plugType15)
(isPlugType adapterFromPlugType15ToPlugType16-bPlugType16 plugType16)
(isPlugFace adapterFromPlugType15ToPlugType16-aPlugType15 female)
(isPlugFace adapterFromPlugType15ToPlugType16-bPlugType16 female)
(isPlugDirection adapterFromPlugType15ToPlugType16-aPlugType15 both)
(isPlugDirection adapterFromPlugType15ToPlugType16-bPlugType16 both)
(isSignalRepeater adapterFromPlugType15ToPlugType16-aPlugType15 adapterFromPlugType15ToPlugType16-bPlugType16 data)
(isSignalRepeater adapterFromPlugType15ToPlugType16-bPlugType16 adapterFromPlugType15ToPlugType16-aPlugType15 data)
(isSignalSource adapterFromPlugType15ToPlugType16-aPlugType15 data)
(isSignalSource adapterFromPlugType15ToPlugType16-bPlugType16 data)
(isSignalDestination adapterFromPlugType15ToPlugType16-aPlugType15 data)
(isSignalDestination adapterFromPlugType15ToPlugType16-bPlugType16 data)
;; Adapter 16->17
(isPartOf adapterFromPlugType16ToPlugType17-aPlugType16 adapterFromPlugType16ToPlugType17)
(isPartOf adapterFromPlugType16ToPlugType17-bPlugType17 adapterFromPlugType16ToPlugType17)
(isPlugType adapterFromPlugType16ToPlugType17-aPlugType16 plugType16)
(isPlugType adapterFromPlugType16ToPlugType17-bPlugType17 plugType17)
(isPlugFace adapterFromPlugType16ToPlugType17-aPlugType16 female)
(isPlugFace adapterFromPlugType16ToPlugType17-bPlugType17 female)
(isPlugDirection adapterFromPlugType16ToPlugType17-aPlugType16 both)
(isPlugDirection adapterFromPlugType16ToPlugType17-bPlugType17 both)
(isSignalRepeater adapterFromPlugType16ToPlugType17-aPlugType16 adapterFromPlugType16ToPlugType17-bPlugType17 data)
(isSignalRepeater adapterFromPlugType16ToPlugType17-bPlugType17 adapterFromPlugType16ToPlugType17-aPlugType16 data)
(isSignalSource adapterFromPlugType16ToPlugType17-aPlugType16 data)
(isSignalSource adapterFromPlugType16ToPlugType17-bPlugType17 data)
(isSignalDestination adapterFromPlugType16ToPlugType17-aPlugType16 data)
(isSignalDestination adapterFromPlugType16ToPlugType17-bPlugType17 data)
;; Adapter 17->18
(isPartOf adapterFromPlugType17ToPlugType18-aPlugType17 adapterFromPlugType17ToPlugType18)
(isPartOf adapterFromPlugType17ToPlugType18-bPlugType18 adapterFromPlugType17ToPlugType18)
(isPlugType adapterFromPlugType17ToPlugType18-aPlugType17 plugType17)
(isPlugType adapterFromPlugType17ToPlugType18-bPlugType18 plugType18)
(isPlugFace adapterFromPlugType17ToPlugType18-aPlugType17 female)
(isPlugFace adapterFromPlugType17ToPlugType18-bPlugType18 female)
(isPlugDirection adapterFromPlugType17ToPlugType18-aPlugType17 both)
(isPlugDirection adapterFromPlugType17ToPlugType18-bPlugType18 both)
(isSignalRepeater adapterFromPlugType17ToPlugType18-aPlugType17 adapterFromPlugType17ToPlugType18-bPlugType18 data)
(isSignalRepeater adapterFromPlugType17ToPlugType18-bPlugType18 adapterFromPlugType17ToPlugType18-aPlugType17 data)
(isSignalSource adapterFromPlugType17ToPlugType18-aPlugType17 data)
(isSignalSource adapterFromPlugType17ToPlugType18-bPlugType18 data)
(isSignalDestination adapterFromPlugType17ToPlugType18-aPlugType17 data)
(isSignalDestination adapterFromPlugType17ToPlugType18-bPlugType18 data)
;; Adapter 18->19
(isPartOf adapterFromPlugType18ToPlugType19-aPlugType18 adapterFromPlugType18ToPlugType19)
(isPartOf adapterFromPlugType18ToPlugType19-bPlugType19 adapterFromPlugType18ToPlugType19)
(isPlugType adapterFromPlugType18ToPlugType19-aPlugType18 plugType18)
(isPlugType adapterFromPlugType18ToPlugType19-bPlugType19 plugType19)
(isPlugFace adapterFromPlugType18ToPlugType19-aPlugType18 female)
(isPlugFace adapterFromPlugType18ToPlugType19-bPlugType19 female)
(isPlugDirection adapterFromPlugType18ToPlugType19-aPlugType18 both)
(isPlugDirection adapterFromPlugType18ToPlugType19-bPlugType19 both)
(isSignalRepeater adapterFromPlugType18ToPlugType19-aPlugType18 adapterFromPlugType18ToPlugType19-bPlugType19 data)
(isSignalRepeater adapterFromPlugType18ToPlugType19-bPlugType19 adapterFromPlugType18ToPlugType19-aPlugType18 data)
(isSignalSource adapterFromPlugType18ToPlugType19-aPlugType18 data)
(isSignalSource adapterFromPlugType18ToPlugType19-bPlugType19 data)
(isSignalDestination adapterFromPlugType18ToPlugType19-aPlugType18 data)
(isSignalDestination adapterFromPlugType18ToPlugType19-bPlugType19 data)
;; Adapter 19->20
(isPartOf adapterFromPlugType19ToPlugType20-aPlugType19 adapterFromPlugType19ToPlugType20)
(isPartOf adapterFromPlugType19ToPlugType20-bPlugType20 adapterFromPlugType19ToPlugType20)
(isPlugType adapterFromPlugType19ToPlugType20-aPlugType19 plugType19)
(isPlugType adapterFromPlugType19ToPlugType20-bPlugType20 plugType20)
(isPlugFace adapterFromPlugType19ToPlugType20-aPlugType19 female)
(isPlugFace adapterFromPlugType19ToPlugType20-bPlugType20 female)
(isPlugDirection adapterFromPlugType19ToPlugType20-aPlugType19 both)
(isPlugDirection adapterFromPlugType19ToPlugType20-bPlugType20 both)
(isSignalRepeater adapterFromPlugType19ToPlugType20-aPlugType19 adapterFromPlugType19ToPlugType20-bPlugType20 data)
(isSignalRepeater adapterFromPlugType19ToPlugType20-bPlugType20 adapterFromPlugType19ToPlugType20-aPlugType19 data)
(isSignalSource adapterFromPlugType19ToPlugType20-aPlugType19 data)
(isSignalSource adapterFromPlugType19ToPlugType20-bPlugType20 data)
(isSignalDestination adapterFromPlugType19ToPlugType20-aPlugType19 data)
(isSignalDestination adapterFromPlugType19ToPlugType20-bPlugType20 data)
;; Adapter 20->21
(isPartOf adapterFromPlugType20ToPlugType21-aPlugType20 adapterFromPlugType20ToPlugType21)
(isPartOf adapterFromPlugType20ToPlugType21-bPlugType21 adapterFromPlugType20ToPlugType21)
(isPlugType adapterFromPlugType20ToPlugType21-aPlugType20 plugType20)
(isPlugType adapterFromPlugType20ToPlugType21-bPlugType21 plugType21)
(isPlugFace adapterFromPlugType20ToPlugType21-aPlugType20 female)
(isPlugFace adapterFromPlugType20ToPlugType21-bPlugType21 female)
(isPlugDirection adapterFromPlugType20ToPlugType21-aPlugType20 both)
(isPlugDirection adapterFromPlugType20ToPlugType21-bPlugType21 both)
(isSignalRepeater adapterFromPlugType20ToPlugType21-aPlugType20 adapterFromPlugType20ToPlugType21-bPlugType21 data)
(isSignalRepeater adapterFromPlugType20ToPlugType21-bPlugType21 adapterFromPlugType20ToPlugType21-aPlugType20 data)
(isSignalSource adapterFromPlugType20ToPlugType21-aPlugType20 data)
(isSignalSource adapterFromPlugType20ToPlugType21-bPlugType21 data)
(isSignalDestination adapterFromPlugType20ToPlugType21-aPlugType20 data)
(isSignalDestination adapterFromPlugType20ToPlugType21-bPlugType21 data)
;; Adapter 21->22
(isPartOf adapterFromPlugType21ToPlugType22-aPlugType21 adapterFromPlugType21ToPlugType22)
(isPartOf adapterFromPlugType21ToPlugType22-bPlugType22 adapterFromPlugType21ToPlugType22)
(isPlugType adapterFromPlugType21ToPlugType22-aPlugType21 plugType21)
(isPlugType adapterFromPlugType21ToPlugType22-bPlugType22 plugType22)
(isPlugFace adapterFromPlugType21ToPlugType22-aPlugType21 female)
(isPlugFace adapterFromPlugType21ToPlugType22-bPlugType22 female)
(isPlugDirection adapterFromPlugType21ToPlugType22-aPlugType21 both)
(isPlugDirection adapterFromPlugType21ToPlugType22-bPlugType22 both)
(isSignalRepeater adapterFromPlugType21ToPlugType22-aPlugType21 adapterFromPlugType21ToPlugType22-bPlugType22 data)
(isSignalRepeater adapterFromPlugType21ToPlugType22-bPlugType22 adapterFromPlugType21ToPlugType22-aPlugType21 data)
(isSignalSource adapterFromPlugType21ToPlugType22-aPlugType21 data)
(isSignalSource adapterFromPlugType21ToPlugType22-bPlugType22 data)
(isSignalDestination adapterFromPlugType21ToPlugType22-aPlugType21 data)
(isSignalDestination adapterFromPlugType21ToPlugType22-bPlugType22 data)
;; Adapter 22->23
(isPartOf adapterFromPlugType22ToPlugType23-aPlugType22 adapterFromPlugType22ToPlugType23)
(isPartOf adapterFromPlugType22ToPlugType23-bPlugType23 adapterFromPlugType22ToPlugType23)
(isPlugType adapterFromPlugType22ToPlugType23-aPlugType22 plugType22)
(isPlugType adapterFromPlugType22ToPlugType23-bPlugType23 plugType23)
(isPlugFace adapterFromPlugType22ToPlugType23-aPlugType22 female)
(isPlugFace adapterFromPlugType22ToPlugType23-bPlugType23 female)
(isPlugDirection adapterFromPlugType22ToPlugType23-aPlugType22 both)
(isPlugDirection adapterFromPlugType22ToPlugType23-bPlugType23 both)
(isSignalRepeater adapterFromPlugType22ToPlugType23-aPlugType22 adapterFromPlugType22ToPlugType23-bPlugType23 data)
(isSignalRepeater adapterFromPlugType22ToPlugType23-bPlugType23 adapterFromPlugType22ToPlugType23-aPlugType22 data)
(isSignalSource adapterFromPlugType22ToPlugType23-aPlugType22 data)
(isSignalSource adapterFromPlugType22ToPlugType23-bPlugType23 data)
(isSignalDestination adapterFromPlugType22ToPlugType23-aPlugType22 data)
(isSignalDestination adapterFromPlugType22ToPlugType23-bPlugType23 data)
;; Adapter 23->24
(isPartOf adapterFromPlugType23ToPlugType24-aPlugType23 adapterFromPlugType23ToPlugType24)
(isPartOf adapterFromPlugType23ToPlugType24-bPlugType24 adapterFromPlugType23ToPlugType24)
(isPlugType adapterFromPlugType23ToPlugType24-aPlugType23 plugType23)
(isPlugType adapterFromPlugType23ToPlugType24-bPlugType24 plugType24)
(isPlugFace adapterFromPlugType23ToPlugType24-aPlugType23 female)
(isPlugFace adapterFromPlugType23ToPlugType24-bPlugType24 female)
(isPlugDirection adapterFromPlugType23ToPlugType24-aPlugType23 both)
(isPlugDirection adapterFromPlugType23ToPlugType24-bPlugType24 both)
(isSignalRepeater adapterFromPlugType23ToPlugType24-aPlugType23 adapterFromPlugType23ToPlugType24-bPlugType24 data)
(isSignalRepeater adapterFromPlugType23ToPlugType24-bPlugType24 adapterFromPlugType23ToPlugType24-aPlugType23 data)
(isSignalSource adapterFromPlugType23ToPlugType24-aPlugType23 data)
(isSignalSource adapterFromPlugType23ToPlugType24-bPlugType24 data)
(isSignalDestination adapterFromPlugType23ToPlugType24-aPlugType23 data)
(isSignalDestination adapterFromPlugType23ToPlugType24-bPlugType24 data)
;; Adapter 24->25
(isPartOf adapterFromPlugType24ToPlugType25-aPlugType24 adapterFromPlugType24ToPlugType25)
(isPartOf adapterFromPlugType24ToPlugType25-bPlugType25 adapterFromPlugType24ToPlugType25)
(isPlugType adapterFromPlugType24ToPlugType25-aPlugType24 plugType24)
(isPlugType adapterFromPlugType24ToPlugType25-bPlugType25 plugType25)
(isPlugFace adapterFromPlugType24ToPlugType25-aPlugType24 female)
(isPlugFace adapterFromPlugType24ToPlugType25-bPlugType25 female)
(isPlugDirection adapterFromPlugType24ToPlugType25-aPlugType24 both)
(isPlugDirection adapterFromPlugType24ToPlugType25-bPlugType25 both)
(isSignalRepeater adapterFromPlugType24ToPlugType25-aPlugType24 adapterFromPlugType24ToPlugType25-bPlugType25 data)
(isSignalRepeater adapterFromPlugType24ToPlugType25-bPlugType25 adapterFromPlugType24ToPlugType25-aPlugType24 data)
(isSignalSource adapterFromPlugType24ToPlugType25-aPlugType24 data)
(isSignalSource adapterFromPlugType24ToPlugType25-bPlugType25 data)
(isSignalDestination adapterFromPlugType24ToPlugType25-aPlugType24 data)
(isSignalDestination adapterFromPlugType24ToPlugType25-bPlugType25 data)
;; Adapter 25->26
(isPartOf adapterFromPlugType25ToPlugType26-aPlugType25 adapterFromPlugType25ToPlugType26)
(isPartOf adapterFromPlugType25ToPlugType26-bPlugType26 adapterFromPlugType25ToPlugType26)
(isPlugType adapterFromPlugType25ToPlugType26-aPlugType25 plugType25)
(isPlugType adapterFromPlugType25ToPlugType26-bPlugType26 plugType26)
(isPlugFace adapterFromPlugType25ToPlugType26-aPlugType25 female)
(isPlugFace adapterFromPlugType25ToPlugType26-bPlugType26 female)
(isPlugDirection adapterFromPlugType25ToPlugType26-aPlugType25 both)
(isPlugDirection adapterFromPlugType25ToPlugType26-bPlugType26 both)
(isSignalRepeater adapterFromPlugType25ToPlugType26-aPlugType25 adapterFromPlugType25ToPlugType26-bPlugType26 data)
(isSignalRepeater adapterFromPlugType25ToPlugType26-bPlugType26 adapterFromPlugType25ToPlugType26-aPlugType25 data)
(isSignalSource adapterFromPlugType25ToPlugType26-aPlugType25 data)
(isSignalSource adapterFromPlugType25ToPlugType26-bPlugType26 data)
(isSignalDestination adapterFromPlugType25ToPlugType26-aPlugType25 data)
(isSignalDestination adapterFromPlugType25ToPlugType26-bPlugType26 data)
;; Adapter 26->27
(isPartOf adapterFromPlugType26ToPlugType27-aPlugType26 adapterFromPlugType26ToPlugType27)
(isPartOf adapterFromPlugType26ToPlugType27-bPlugType27 adapterFromPlugType26ToPlugType27)
(isPlugType adapterFromPlugType26ToPlugType27-aPlugType26 plugType26)
(isPlugType adapterFromPlugType26ToPlugType27-bPlugType27 plugType27)
(isPlugFace adapterFromPlugType26ToPlugType27-aPlugType26 female)
(isPlugFace adapterFromPlugType26ToPlugType27-bPlugType27 female)
(isPlugDirection adapterFromPlugType26ToPlugType27-aPlugType26 both)
(isPlugDirection adapterFromPlugType26ToPlugType27-bPlugType27 both)
(isSignalRepeater adapterFromPlugType26ToPlugType27-aPlugType26 adapterFromPlugType26ToPlugType27-bPlugType27 data)
(isSignalRepeater adapterFromPlugType26ToPlugType27-bPlugType27 adapterFromPlugType26ToPlugType27-aPlugType26 data)
(isSignalSource adapterFromPlugType26ToPlugType27-aPlugType26 data)
(isSignalSource adapterFromPlugType26ToPlugType27-bPlugType27 data)
(isSignalDestination adapterFromPlugType26ToPlugType27-aPlugType26 data)
(isSignalDestination adapterFromPlugType26ToPlugType27-bPlugType27 data)
;; Adapter 27->28
(isPartOf adapterFromPlugType27ToPlugType28-aPlugType27 adapterFromPlugType27ToPlugType28)
(isPartOf adapterFromPlugType27ToPlugType28-bPlugType28 adapterFromPlugType27ToPlugType28)
(isPlugType adapterFromPlugType27ToPlugType28-aPlugType27 plugType27)
(isPlugType adapterFromPlugType27ToPlugType28-bPlugType28 plugType28)
(isPlugFace adapterFromPlugType27ToPlugType28-aPlugType27 female)
(isPlugFace adapterFromPlugType27ToPlugType28-bPlugType28 female)
(isPlugDirection adapterFromPlugType27ToPlugType28-aPlugType27 both)
(isPlugDirection adapterFromPlugType27ToPlugType28-bPlugType28 both)
(isSignalRepeater adapterFromPlugType27ToPlugType28-aPlugType27 adapterFromPlugType27ToPlugType28-bPlugType28 data)
(isSignalRepeater adapterFromPlugType27ToPlugType28-bPlugType28 adapterFromPlugType27ToPlugType28-aPlugType27 data)
(isSignalSource adapterFromPlugType27ToPlugType28-aPlugType27 data)
(isSignalSource adapterFromPlugType27ToPlugType28-bPlugType28 data)
(isSignalDestination adapterFromPlugType27ToPlugType28-aPlugType27 data)
(isSignalDestination adapterFromPlugType27ToPlugType28-bPlugType28 data)
;; Adapter 28->29
(isPartOf adapterFromPlugType28ToPlugType29-aPlugType28 adapterFromPlugType28ToPlugType29)
(isPartOf adapterFromPlugType28ToPlugType29-bPlugType29 adapterFromPlugType28ToPlugType29)
(isPlugType adapterFromPlugType28ToPlugType29-aPlugType28 plugType28)
(isPlugType adapterFromPlugType28ToPlugType29-bPlugType29 plugType29)
(isPlugFace adapterFromPlugType28ToPlugType29-aPlugType28 female)
(isPlugFace adapterFromPlugType28ToPlugType29-bPlugType29 female)
(isPlugDirection adapterFromPlugType28ToPlugType29-aPlugType28 both)
(isPlugDirection adapterFromPlugType28ToPlugType29-bPlugType29 both)
(isSignalRepeater adapterFromPlugType28ToPlugType29-aPlugType28 adapterFromPlugType28ToPlugType29-bPlugType29 data)
(isSignalRepeater adapterFromPlugType28ToPlugType29-bPlugType29 adapterFromPlugType28ToPlugType29-aPlugType28 data)
(isSignalSource adapterFromPlugType28ToPlugType29-aPlugType28 data)
(isSignalSource adapterFromPlugType28ToPlugType29-bPlugType29 data)
(isSignalDestination adapterFromPlugType28ToPlugType29-aPlugType28 data)
(isSignalDestination adapterFromPlugType28ToPlugType29-bPlugType29 data)
;; Adapter 29->30
(isPartOf adapterFromPlugType29ToPlugType30-aPlugType29 adapterFromPlugType29ToPlugType30)
(isPartOf adapterFromPlugType29ToPlugType30-bPlugType30 adapterFromPlugType29ToPlugType30)
(isPlugType adapterFromPlugType29ToPlugType30-aPlugType29 plugType29)
(isPlugType adapterFromPlugType29ToPlugType30-bPlugType30 plugType30)
(isPlugFace adapterFromPlugType29ToPlugType30-aPlugType29 female)
(isPlugFace adapterFromPlugType29ToPlugType30-bPlugType30 female)
(isPlugDirection adapterFromPlugType29ToPlugType30-aPlugType29 both)
(isPlugDirection adapterFromPlugType29ToPlugType30-bPlugType30 both)
(isSignalRepeater adapterFromPlugType29ToPlugType30-aPlugType29 adapterFromPlugType29ToPlugType30-bPlugType30 data)
(isSignalRepeater adapterFromPlugType29ToPlugType30-bPlugType30 adapterFromPlugType29ToPlugType30-aPlugType29 data)
(isSignalSource adapterFromPlugType29ToPlugType30-aPlugType29 data)
(isSignalSource adapterFromPlugType29ToPlugType30-bPlugType30 data)
(isSignalDestination adapterFromPlugType29ToPlugType30-aPlugType29 data)
(isSignalDestination adapterFromPlugType29ToPlugType30-bPlugType30 data)
;; Cable 1
(isPartOf cableWithPlugType1-a cableWithPlugType1)
(isPartOf cableWithPlugType1-b cableWithPlugType1)
(isPlugType cableWithPlugType1-a plugType1)
(isPlugType cableWithPlugType1-b plugType1)
(isPlugFace cableWithPlugType1-a male)
(isPlugFace cableWithPlugType1-b male)
(isPlugDirection cableWithPlugType1-a both)
(isPlugDirection cableWithPlugType1-b both)
(isSignalRepeater cableWithPlugType1-a cableWithPlugType1-b data)
(isSignalRepeater cableWithPlugType1-b cableWithPlugType1-a data)
;; Cable 2
(isPartOf cableWithPlugType2-a cableWithPlugType2)
(isPartOf cableWithPlugType2-b cableWithPlugType2)
(isPlugType cableWithPlugType2-a plugType2)
(isPlugType cableWithPlugType2-b plugType2)
(isPlugFace cableWithPlugType2-a male)
(isPlugFace cableWithPlugType2-b male)
(isPlugDirection cableWithPlugType2-a both)
(isPlugDirection cableWithPlugType2-b both)
(isSignalRepeater cableWithPlugType2-a cableWithPlugType2-b data)
(isSignalRepeater cableWithPlugType2-b cableWithPlugType2-a data)
;; Cable 3
(isPartOf cableWithPlugType3-a cableWithPlugType3)
(isPartOf cableWithPlugType3-b cableWithPlugType3)
(isPlugType cableWithPlugType3-a plugType3)
(isPlugType cableWithPlugType3-b plugType3)
(isPlugFace cableWithPlugType3-a male)
(isPlugFace cableWithPlugType3-b male)
(isPlugDirection cableWithPlugType3-a both)
(isPlugDirection cableWithPlugType3-b both)
(isSignalRepeater cableWithPlugType3-a cableWithPlugType3-b data)
(isSignalRepeater cableWithPlugType3-b cableWithPlugType3-a data)
;; Cable 4
(isPartOf cableWithPlugType4-a cableWithPlugType4)
(isPartOf cableWithPlugType4-b cableWithPlugType4)
(isPlugType cableWithPlugType4-a plugType4)
(isPlugType cableWithPlugType4-b plugType4)
(isPlugFace cableWithPlugType4-a male)
(isPlugFace cableWithPlugType4-b male)
(isPlugDirection cableWithPlugType4-a both)
(isPlugDirection cableWithPlugType4-b both)
(isSignalRepeater cableWithPlugType4-a cableWithPlugType4-b data)
(isSignalRepeater cableWithPlugType4-b cableWithPlugType4-a data)
;; Cable 5
(isPartOf cableWithPlugType5-a cableWithPlugType5)
(isPartOf cableWithPlugType5-b cableWithPlugType5)
(isPlugType cableWithPlugType5-a plugType5)
(isPlugType cableWithPlugType5-b plugType5)
(isPlugFace cableWithPlugType5-a male)
(isPlugFace cableWithPlugType5-b male)
(isPlugDirection cableWithPlugType5-a both)
(isPlugDirection cableWithPlugType5-b both)
(isSignalRepeater cableWithPlugType5-a cableWithPlugType5-b data)
(isSignalRepeater cableWithPlugType5-b cableWithPlugType5-a data)
;; Cable 6
(isPartOf cableWithPlugType6-a cableWithPlugType6)
(isPartOf cableWithPlugType6-b cableWithPlugType6)
(isPlugType cableWithPlugType6-a plugType6)
(isPlugType cableWithPlugType6-b plugType6)
(isPlugFace cableWithPlugType6-a male)
(isPlugFace cableWithPlugType6-b male)
(isPlugDirection cableWithPlugType6-a both)
(isPlugDirection cableWithPlugType6-b both)
(isSignalRepeater cableWithPlugType6-a cableWithPlugType6-b data)
(isSignalRepeater cableWithPlugType6-b cableWithPlugType6-a data)
;; Cable 7
(isPartOf cableWithPlugType7-a cableWithPlugType7)
(isPartOf cableWithPlugType7-b cableWithPlugType7)
(isPlugType cableWithPlugType7-a plugType7)
(isPlugType cableWithPlugType7-b plugType7)
(isPlugFace cableWithPlugType7-a male)
(isPlugFace cableWithPlugType7-b male)
(isPlugDirection cableWithPlugType7-a both)
(isPlugDirection cableWithPlugType7-b both)
(isSignalRepeater cableWithPlugType7-a cableWithPlugType7-b data)
(isSignalRepeater cableWithPlugType7-b cableWithPlugType7-a data)
;; Cable 8
(isPartOf cableWithPlugType8-a cableWithPlugType8)
(isPartOf cableWithPlugType8-b cableWithPlugType8)
(isPlugType cableWithPlugType8-a plugType8)
(isPlugType cableWithPlugType8-b plugType8)
(isPlugFace cableWithPlugType8-a male)
(isPlugFace cableWithPlugType8-b male)
(isPlugDirection cableWithPlugType8-a both)
(isPlugDirection cableWithPlugType8-b both)
(isSignalRepeater cableWithPlugType8-a cableWithPlugType8-b data)
(isSignalRepeater cableWithPlugType8-b cableWithPlugType8-a data)
;; Cable 9
(isPartOf cableWithPlugType9-a cableWithPlugType9)
(isPartOf cableWithPlugType9-b cableWithPlugType9)
(isPlugType cableWithPlugType9-a plugType9)
(isPlugType cableWithPlugType9-b plugType9)
(isPlugFace cableWithPlugType9-a male)
(isPlugFace cableWithPlugType9-b male)
(isPlugDirection cableWithPlugType9-a both)
(isPlugDirection cableWithPlugType9-b both)
(isSignalRepeater cableWithPlugType9-a cableWithPlugType9-b data)
(isSignalRepeater cableWithPlugType9-b cableWithPlugType9-a data)
;; Cable 10
(isPartOf cableWithPlugType10-a cableWithPlugType10)
(isPartOf cableWithPlugType10-b cableWithPlugType10)
(isPlugType cableWithPlugType10-a plugType10)
(isPlugType cableWithPlugType10-b plugType10)
(isPlugFace cableWithPlugType10-a male)
(isPlugFace cableWithPlugType10-b male)
(isPlugDirection cableWithPlugType10-a both)
(isPlugDirection cableWithPlugType10-b both)
(isSignalRepeater cableWithPlugType10-a cableWithPlugType10-b data)
(isSignalRepeater cableWithPlugType10-b cableWithPlugType10-a data)
;; Cable 11
(isPartOf cableWithPlugType11-a cableWithPlugType11)
(isPartOf cableWithPlugType11-b cableWithPlugType11)
(isPlugType cableWithPlugType11-a plugType11)
(isPlugType cableWithPlugType11-b plugType11)
(isPlugFace cableWithPlugType11-a male)
(isPlugFace cableWithPlugType11-b male)
(isPlugDirection cableWithPlugType11-a both)
(isPlugDirection cableWithPlugType11-b both)
(isSignalRepeater cableWithPlugType11-a cableWithPlugType11-b data)
(isSignalRepeater cableWithPlugType11-b cableWithPlugType11-a data)
;; Cable 12
(isPartOf cableWithPlugType12-a cableWithPlugType12)
(isPartOf cableWithPlugType12-b cableWithPlugType12)
(isPlugType cableWithPlugType12-a plugType12)
(isPlugType cableWithPlugType12-b plugType12)
(isPlugFace cableWithPlugType12-a male)
(isPlugFace cableWithPlugType12-b male)
(isPlugDirection cableWithPlugType12-a both)
(isPlugDirection cableWithPlugType12-b both)
(isSignalRepeater cableWithPlugType12-a cableWithPlugType12-b data)
(isSignalRepeater cableWithPlugType12-b cableWithPlugType12-a data)
;; Cable 13
(isPartOf cableWithPlugType13-a cableWithPlugType13)
(isPartOf cableWithPlugType13-b cableWithPlugType13)
(isPlugType cableWithPlugType13-a plugType13)
(isPlugType cableWithPlugType13-b plugType13)
(isPlugFace cableWithPlugType13-a male)
(isPlugFace cableWithPlugType13-b male)
(isPlugDirection cableWithPlugType13-a both)
(isPlugDirection cableWithPlugType13-b both)
(isSignalRepeater cableWithPlugType13-a cableWithPlugType13-b data)
(isSignalRepeater cableWithPlugType13-b cableWithPlugType13-a data)
;; Cable 14
(isPartOf cableWithPlugType14-a cableWithPlugType14)
(isPartOf cableWithPlugType14-b cableWithPlugType14)
(isPlugType cableWithPlugType14-a plugType14)
(isPlugType cableWithPlugType14-b plugType14)
(isPlugFace cableWithPlugType14-a male)
(isPlugFace cableWithPlugType14-b male)
(isPlugDirection cableWithPlugType14-a both)
(isPlugDirection cableWithPlugType14-b both)
(isSignalRepeater cableWithPlugType14-a cableWithPlugType14-b data)
(isSignalRepeater cableWithPlugType14-b cableWithPlugType14-a data)
;; Cable 15
(isPartOf cableWithPlugType15-a cableWithPlugType15)
(isPartOf cableWithPlugType15-b cableWithPlugType15)
(isPlugType cableWithPlugType15-a plugType15)
(isPlugType cableWithPlugType15-b plugType15)
(isPlugFace cableWithPlugType15-a male)
(isPlugFace cableWithPlugType15-b male)
(isPlugDirection cableWithPlugType15-a both)
(isPlugDirection cableWithPlugType15-b both)
(isSignalRepeater cableWithPlugType15-a cableWithPlugType15-b data)
(isSignalRepeater cableWithPlugType15-b cableWithPlugType15-a data)
;; Cable 16
(isPartOf cableWithPlugType16-a cableWithPlugType16)
(isPartOf cableWithPlugType16-b cableWithPlugType16)
(isPlugType cableWithPlugType16-a plugType16)
(isPlugType cableWithPlugType16-b plugType16)
(isPlugFace cableWithPlugType16-a male)
(isPlugFace cableWithPlugType16-b male)
(isPlugDirection cableWithPlugType16-a both)
(isPlugDirection cableWithPlugType16-b both)
(isSignalRepeater cableWithPlugType16-a cableWithPlugType16-b data)
(isSignalRepeater cableWithPlugType16-b cableWithPlugType16-a data)
;; Cable 17
(isPartOf cableWithPlugType17-a cableWithPlugType17)
(isPartOf cableWithPlugType17-b cableWithPlugType17)
(isPlugType cableWithPlugType17-a plugType17)
(isPlugType cableWithPlugType17-b plugType17)
(isPlugFace cableWithPlugType17-a male)
(isPlugFace cableWithPlugType17-b male)
(isPlugDirection cableWithPlugType17-a both)
(isPlugDirection cableWithPlugType17-b both)
(isSignalRepeater cableWithPlugType17-a cableWithPlugType17-b data)
(isSignalRepeater cableWithPlugType17-b cableWithPlugType17-a data)
;; Cable 18
(isPartOf cableWithPlugType18-a cableWithPlugType18)
(isPartOf cableWithPlugType18-b cableWithPlugType18)
(isPlugType cableWithPlugType18-a plugType18)
(isPlugType cableWithPlugType18-b plugType18)
(isPlugFace cableWithPlugType18-a male)
(isPlugFace cableWithPlugType18-b male)
(isPlugDirection cableWithPlugType18-a both)
(isPlugDirection cableWithPlugType18-b both)
(isSignalRepeater cableWithPlugType18-a cableWithPlugType18-b data)
(isSignalRepeater cableWithPlugType18-b cableWithPlugType18-a data)
;; Cable 19
(isPartOf cableWithPlugType19-a cableWithPlugType19)
(isPartOf cableWithPlugType19-b cableWithPlugType19)
(isPlugType cableWithPlugType19-a plugType19)
(isPlugType cableWithPlugType19-b plugType19)
(isPlugFace cableWithPlugType19-a male)
(isPlugFace cableWithPlugType19-b male)
(isPlugDirection cableWithPlugType19-a both)
(isPlugDirection cableWithPlugType19-b both)
(isSignalRepeater cableWithPlugType19-a cableWithPlugType19-b data)
(isSignalRepeater cableWithPlugType19-b cableWithPlugType19-a data)
;; Cable 20
(isPartOf cableWithPlugType20-a cableWithPlugType20)
(isPartOf cableWithPlugType20-b cableWithPlugType20)
(isPlugType cableWithPlugType20-a plugType20)
(isPlugType cableWithPlugType20-b plugType20)
(isPlugFace cableWithPlugType20-a male)
(isPlugFace cableWithPlugType20-b male)
(isPlugDirection cableWithPlugType20-a both)
(isPlugDirection cableWithPlugType20-b both)
(isSignalRepeater cableWithPlugType20-a cableWithPlugType20-b data)
(isSignalRepeater cableWithPlugType20-b cableWithPlugType20-a data)
;; Cable 21
(isPartOf cableWithPlugType21-a cableWithPlugType21)
(isPartOf cableWithPlugType21-b cableWithPlugType21)
(isPlugType cableWithPlugType21-a plugType21)
(isPlugType cableWithPlugType21-b plugType21)
(isPlugFace cableWithPlugType21-a male)
(isPlugFace cableWithPlugType21-b male)
(isPlugDirection cableWithPlugType21-a both)
(isPlugDirection cableWithPlugType21-b both)
(isSignalRepeater cableWithPlugType21-a cableWithPlugType21-b data)
(isSignalRepeater cableWithPlugType21-b cableWithPlugType21-a data)
;; Cable 22
(isPartOf cableWithPlugType22-a cableWithPlugType22)
(isPartOf cableWithPlugType22-b cableWithPlugType22)
(isPlugType cableWithPlugType22-a plugType22)
(isPlugType cableWithPlugType22-b plugType22)
(isPlugFace cableWithPlugType22-a male)
(isPlugFace cableWithPlugType22-b male)
(isPlugDirection cableWithPlugType22-a both)
(isPlugDirection cableWithPlugType22-b both)
(isSignalRepeater cableWithPlugType22-a cableWithPlugType22-b data)
(isSignalRepeater cableWithPlugType22-b cableWithPlugType22-a data)
;; Cable 23
(isPartOf cableWithPlugType23-a cableWithPlugType23)
(isPartOf cableWithPlugType23-b cableWithPlugType23)
(isPlugType cableWithPlugType23-a plugType23)
(isPlugType cableWithPlugType23-b plugType23)
(isPlugFace cableWithPlugType23-a male)
(isPlugFace cableWithPlugType23-b male)
(isPlugDirection cableWithPlugType23-a both)
(isPlugDirection cableWithPlugType23-b both)
(isSignalRepeater cableWithPlugType23-a cableWithPlugType23-b data)
(isSignalRepeater cableWithPlugType23-b cableWithPlugType23-a data)
;; Cable 24
(isPartOf cableWithPlugType24-a cableWithPlugType24)
(isPartOf cableWithPlugType24-b cableWithPlugType24)
(isPlugType cableWithPlugType24-a plugType24)
(isPlugType cableWithPlugType24-b plugType24)
(isPlugFace cableWithPlugType24-a male)
(isPlugFace cableWithPlugType24-b male)
(isPlugDirection cableWithPlugType24-a both)
(isPlugDirection cableWithPlugType24-b both)
(isSignalRepeater cableWithPlugType24-a cableWithPlugType24-b data)
(isSignalRepeater cableWithPlugType24-b cableWithPlugType24-a data)
;; Cable 25
(isPartOf cableWithPlugType25-a cableWithPlugType25)
(isPartOf cableWithPlugType25-b cableWithPlugType25)
(isPlugType cableWithPlugType25-a plugType25)
(isPlugType cableWithPlugType25-b plugType25)
(isPlugFace cableWithPlugType25-a male)
(isPlugFace cableWithPlugType25-b male)
(isPlugDirection cableWithPlugType25-a both)
(isPlugDirection cableWithPlugType25-b both)
(isSignalRepeater cableWithPlugType25-a cableWithPlugType25-b data)
(isSignalRepeater cableWithPlugType25-b cableWithPlugType25-a data)
;; Cable 26
(isPartOf cableWithPlugType26-a cableWithPlugType26)
(isPartOf cableWithPlugType26-b cableWithPlugType26)
(isPlugType cableWithPlugType26-a plugType26)
(isPlugType cableWithPlugType26-b plugType26)
(isPlugFace cableWithPlugType26-a male)
(isPlugFace cableWithPlugType26-b male)
(isPlugDirection cableWithPlugType26-a both)
(isPlugDirection cableWithPlugType26-b both)
(isSignalRepeater cableWithPlugType26-a cableWithPlugType26-b data)
(isSignalRepeater cableWithPlugType26-b cableWithPlugType26-a data)
;; Cable 27
(isPartOf cableWithPlugType27-a cableWithPlugType27)
(isPartOf cableWithPlugType27-b cableWithPlugType27)
(isPlugType cableWithPlugType27-a plugType27)
(isPlugType cableWithPlugType27-b plugType27)
(isPlugFace cableWithPlugType27-a male)
(isPlugFace cableWithPlugType27-b male)
(isPlugDirection cableWithPlugType27-a both)
(isPlugDirection cableWithPlugType27-b both)
(isSignalRepeater cableWithPlugType27-a cableWithPlugType27-b data)
(isSignalRepeater cableWithPlugType27-b cableWithPlugType27-a data)
;; Cable 28
(isPartOf cableWithPlugType28-a cableWithPlugType28)
(isPartOf cableWithPlugType28-b cableWithPlugType28)
(isPlugType cableWithPlugType28-a plugType28)
(isPlugType cableWithPlugType28-b plugType28)
(isPlugFace cableWithPlugType28-a male)
(isPlugFace cableWithPlugType28-b male)
(isPlugDirection cableWithPlugType28-a both)
(isPlugDirection cableWithPlugType28-b both)
(isSignalRepeater cableWithPlugType28-a cableWithPlugType28-b data)
(isSignalRepeater cableWithPlugType28-b cableWithPlugType28-a data)
;; Cable 29
(isPartOf cableWithPlugType29-a cableWithPlugType29)
(isPartOf cableWithPlugType29-b cableWithPlugType29)
(isPlugType cableWithPlugType29-a plugType29)
(isPlugType cableWithPlugType29-b plugType29)
(isPlugFace cableWithPlugType29-a male)
(isPlugFace cableWithPlugType29-b male)
(isPlugDirection cableWithPlugType29-a both)
(isPlugDirection cableWithPlugType29-b both)
(isSignalRepeater cableWithPlugType29-a cableWithPlugType29-b data)
(isSignalRepeater cableWithPlugType29-b cableWithPlugType29-a data)
;; Cable 30
(isPartOf cableWithPlugType30-a cableWithPlugType30)
(isPartOf cableWithPlugType30-b cableWithPlugType30)
(isPlugType cableWithPlugType30-a plugType30)