17 | | exists y1 (Port(y1) & exists u1 (FeatureWholePart(u1) & FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) & |
18 | | exists y2 (Port(y2) & exists u2 (FeatureWholePart(u2) & FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) & |
| 17 | exists y1 (Port(y1) & exists u1 (FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) & |
| 18 | exists y2 (Port(y2) & exists u2 (FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) & |
21 | | exists w1 (IndirectConnection(w1) & IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) & |
22 | | exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnection(w3) & IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld))) & |
23 | | ))). |
| 21 | exists w1 (IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) & |
| 22 | exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld)))))) . |