id:store def:sells id:tent.
id:tent def:costs "¥150,000".
id:tent rdf:type id:Product.
fy:aHup pe:ko9sap_ fy:jufn12.
fy:jufn12 pe:oao9_ "Ufou".
fy:jufn12 rdf:type fyufnt:tmffqt.
$$\models_{IAR} \quad \subseteq \quad \models_{AR} \quad \subseteq \quad \models_{Brave}$$
Byy Jacco van Splunteren.