四角形 >= 平行四辺形
平行四辺形 >= {長方形, 菱形} >= 正方形

(1) 四辺形[記号=X]/[形 -> 平行四辺形]

<= 四辺形[記号=X]/[角1=L1, 角2=L2,

角3=L1, 角4=L2]

(2) 四辺形[記号=X]/[形 -> 菱形]

<= 四辺形[記号=X]/[形 -> 平行四辺形,

辺1=L, 辺2=L,

辺3=L, 辺4=L]

(3) 四辺形[記号=X]/[形 -> 長方形]

<= 四辺形[記号=X]/[形 -> 平行四辺形,

角1=90, 角2=90,

角3=90, 角4=90]