# Syside example has odd syntax (affects syside and solver)

**URL:** <https://forum.sensmetry.com/t/syside-example-has-odd-syntax-affects-syside-and-solver/581>\
**Category:** Bug Reports\
**Tags:** editor\
**Created:** [September 23, 2026, 7:17pm UTC](https://forum.sensmetry.com/t/syside-example-has-odd-syntax-affects-syside-and-solver/581 "2026-09-23T19:17:30Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Richard\_Wallace](https://yyz2.discourse-cdn.com/flex008/user_avatar/forum.sensmetry.com/richard_wallace/32/307_2.png) [@Richard\_Wallace](https://forum.sensmetry.com/u/Richard_Wallace)\
**Post date:** [September 23, 2026, 7:17pm UTC](https://forum.sensmetry.com/t/syside-example-has-odd-syntax-affects-syside-and-solver/581/1 "2026-09-23T19:17:30Z")

</div>

In syside-solver 0.10.3, the example for `package Pump` has some odd syntax for scope resolution. In the example given at [Checking that requirements hold — Syside](http://docs.sensmetry.com/automator/solver/check/)

```auto
package Pump {
    private import ScalarValues::Integer;
    part pump [1] {
        attribute flowRate : Integer = 40;
        attribute pressure;
    }
    assert constraint flowOk { Pump::pump::flowRate <= 50 }
    assert constraint pressureOk { Pump::pump::pressure <= 10 }
}

```

has the package scope and part namespace operator used (`::`). It should only have the dot notation used, as OMG Pilot flags this as an error, as shown:

 ![image](https://canada1.discourse-cdn.com/flex008/uploads/syside/original/1X/7bcebf6bd7bb05637f296f17dae9e9864d81a7ac.png)

From the Syside perspective, both the dot notation and namespace notation pass the `syside solver`

```auto
>syside solver check -i package_Pump.sysml
{
  "result": {
    "subject": "Pump",
    "expression": "assertions[2]",
    "determination": "determined",
    "outcome": {
      "shape": "assertions",
      "assertions": [
        { "name": "Pump::flowOk", "status": "satisfied", "counterexample": null },
        {
          "name": "Pump::pressureOk",
          "status": "violated",
          "counterexample": {
            "values": [
              ["Pump::pump::pressure", "11"]
            ]
          }
        }
      ]
    },
    "causes": []
  },
  "warnings": [],
  "exit_code": 1
}

```

I suggest correcting the editor for scoping-notation conformance and updating the example to reflect this OMG conformance.

V/r,

@Richard_Wallace

---

<div class="post-metadata">

**Author:** ![Daumantas](https://yyz2.discourse-cdn.com/flex008/user_avatar/forum.sensmetry.com/daumantas/32/19_2.png) [@Daumantas](https://forum.sensmetry.com/u/Daumantas)\
**Post date:** [September 24, 2026, 6:13am UTC](https://forum.sensmetry.com/t/syside-example-has-odd-syntax-affects-syside-and-solver/581/2 "2026-09-24T06:13:53Z")

</div>

This diagnostic will be version after 0.11.