# @prefix : <http://org.jena.rules.tutorial#> .
@prefix : <https://trygvis.io/owl/stm32/STM32%20High%20Performance%20MCUs.owl#>
 
[hasStudentRule:
    (?student :takesCourse ?course)
    (?lecturer :teachesCourse ?course)
    ->
    (?lecturer :hasStudent ?student)
] 

[pensionerRule:
    (?person :hasAge ?age)
    greaterThan(?age, 60)
    ->
    (?person a :Pensioner)
]

[wat:
    (?chip :co-processor-type "-")
    ->
    remove(0)
]