2009-07-15 あろい2 さかいさんの指摘通りで、 one sig Root extends Dir { } { no parent } //fact { FSObject in Root.*contents } コメントアウトしてます結局こうなってるとこういうモデルが出て来ちゃいますからそうだ。